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
Bizjak, AlešAarhus University2016
Debois, SørenUniversity of Copenhagen20081
Grathwohl, Hans BuggeAarhus University2016
Møgelberg, RasmusKøbenhavns Universitet20051
Petersen, RasmusIT University of Copenhagen2007
Sieczkowski, FilipIT University of Copenhagen2014
Svendsen, KasperIT University of Copenhagen2013

According to our current on-line database, Lars Birkedal has 7 students and 9 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.