Lars Birkedal
Ph.D. Carnegie Mellon University 1999
Dissertation:
Developing Theories of Types and Computability via Realizability
Advisor: Dana Stewart Scott
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Møgelberg, Rasmus | IT University of Copenhagen | 2005 | 1 |
| Torp-Smith, Noah | IT University of Copenhagen | 2005 | |
| Bohr, Nina | IT University of Copenhagen | 2007 | |
| Petersen, Rasmus | IT University of Copenhagen | 2007 | |
| Biering, Bodil | IT University of Copenhagen | 2008 | |
| Buisse, Alexandre | IT University of Copenhagen | 2008 | |
| Debois, Søren | Københavns Universitet | 2008 | 1 |
| Elsborg, Ebbe | IT University of Copenhagen | 2008 | |
| Damgaard, Troels | IT University of Copenhagen | 2009 | |
| Thamsborg, Jacob | IT University of Copenhagen | 2010 | |
| Jensen, Jonas | IT University of Copenhagen | 2013 | |
| Mahnert, Hannes | IT University of Copenhagen | 2013 | |
| Svendsen, Kasper | IT University of Copenhagen | 2013 | |
| Sieczkowski, Filip | IT University of Copenhagen | 2014 | |
| Bizjak, Aleš | Aarhus University | 2016 | |
| Grathwohl, Hans Bugge | Aarhus University | 2016 | |
| Krogh-Jespersen, Morten | Aarhus University | 2018 | |
| Andersen, Kristoffer | Aarhus University | 2019 | |
| Skorstensgaard, Lau | Aarhus University | 2019 | |
| Stefanesco, Léo | Université de Paris | 2021 | |
| Georges, Aïna | 2023 | ||
| Gregersen, Simon | Aarhus University | 2023 | |
| Nieto, Abel | Aarhus University | 2023 |
According to our current on-line database, Lars Birkedal has 23 students and 25 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.