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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Andersen, Kristoffer | Aarhus University | 2019 | |
| Biering, Bodil | IT University of Copenhagen | 2008 | |
| Bizjak, Aleš | Aarhus University | 2016 | |
| Bohr, Nina | IT University of Copenhagen | 2007 | |
| Buisse, Alexandre | IT University of Copenhagen | 2008 | |
| Damgaard, Troels | IT University of Copenhagen | 2009 | |
| Debois, Søren | Københavns Universitet | 2008 | 1 |
| Elsborg, Ebbe | IT University of Copenhagen | 2008 | |
| Georges, Aïna | 2023 | ||
| Grathwohl, Hans Bugge | Aarhus University | 2016 | |
| Gregersen, Simon | Aarhus University | 2023 | |
| Jensen, Jonas | IT University of Copenhagen | 2013 | |
| Krogh-Jespersen, Morten | Aarhus University | 2018 | |
| Mahnert, Hannes | IT University of Copenhagen | 2013 | |
| Møgelberg, Rasmus | IT University of Copenhagen | 2005 | 1 |
| Nieto, Abel | Aarhus University | 2023 | |
| Petersen, Rasmus | IT University of Copenhagen | 2007 | |
| Sieczkowski, Filip | IT University of Copenhagen | 2014 | |
| Skorstensgaard, Lau | Aarhus University | 2019 | |
| Stefanesco, Léo | Université de Paris | 2021 | |
| Svendsen, Kasper | IT University of Copenhagen | 2013 | |
| Thamsborg, Jacob | IT University of Copenhagen | 2010 | |
| Torp-Smith, Noah | IT University of Copenhagen | 2005 |
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.