Lukas Holter Melgaard
![Lukas Holter Melgaard](/images/college-eps-only/comp-sci/staff/research-student/melgaard-lukas-holter-cropped-230x230.jpg?quality=80&width=411)
School of Computer Science
Research Student
Contact details
- Address
- School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
- MSc Mathematics (University of Copenhagen, Denmark)
- BSc Mathematics (University of Copenhagen, Denmark)
- Algorithms and Complexity
- Mathematical and Logical Foundations of Computer Science
- Cyclic proof theory
- Reverse mathematics