Lukas Holter Melgaard

Lukas Holter Melgaard

School of Computer Science
Research Student

Contact details

Email
lxm402@student.bham.ac.uk
Address
School of Computer Science
University 麻豆精选
Edgbaston
Birmingham
B15 2TT

Qualifications

  • MSc Mathematics (University of Copenhagen, Denmark)
  • BSc Mathematics (University of Copenhagen, Denmark)

Teaching

  • Algorithms and Complexity
  • Mathematical and Logical Foundations of Computer Science

Doctoral research

PhD title
Cyclic Foundations of Arithmetic
Supervisors
Dr Anupam Das and Dr Paul Levy

Research

  • Cyclic proof theory
  • Reverse mathematics