Lars Birkedal

MathSciNet


Ph.D. Carnegie Mellon University 1999 UnitedStates
Dissertation: Developing Theories of Types and Computability via Realizability

Advisor: Dana Stewart Scott

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Andersen, KristofferAarhus University2019
Biering, BodilIT University of Copenhagen2008
Bizjak, AlešAarhus University2016
Bohr, NinaIT University of Copenhagen2007
Buisse, AlexandreIT University of Copenhagen2008
Damgaard, TroelsIT University of Copenhagen2009
Debois, SørenKøbenhavns Universitet20081
Elsborg, EbbeIT University of Copenhagen2008
Grathwohl, Hans BuggeAarhus University2016
Jensen, JonasIT University of Copenhagen2013
Krogh-Jespersen, MortenAarhus University2018
Mahnert, HannesIT University of Copenhagen2013
Møgelberg, RasmusIT University of Copenhagen20051
Petersen, RasmusIT University of Copenhagen2007
Sieczkowski, FilipIT University of Copenhagen2014
Skorstensgaard, LauAarhus University2019
Svendsen, KasperIT University of Copenhagen2013
Thamsborg, JacobIT University of Copenhagen2010
Torp-Smith, NoahIT University of Copenhagen2005

According to our current on-line database, Lars Birkedal has 19 students and 21 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 50366 for the advisor ID.