Lukas Holter Melgaard School of Computer ScienceResearch Student Contact details Emaillxm402@student.bham.ac.uk AddressSchool of Computer ScienceºÚÁϳԹÏÍøEdgbastonBirminghamB15 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 titleCyclic Foundations of ArithmeticSupervisorsDr Anupam Das and Dr Paul Levy Research Cyclic proof theory Reverse mathematics