Lars Birkedal
Original record- Institution
- Carnegie Mellon University
- Year
- 1999
- Country
- United States
- MGP identifier
- 50366
Dissertation: Developing Theories of Types and Computability via Realizability
Advisor 1
- Dana Stewart ScottPrinceton University · 1958
Students 25
| Name | Institution | Year | Students |
|---|---|---|---|
| Kristoffer Just Arndal Andersen | Aarhus University | 2019 | 0 |
| Bodil Biering | IT University of Copenhagen | 2008 | 0 |
| Aleš Bizjak | Aarhus University | 2016 | 0 |
| Nina Bohr | IT University of Copenhagen | 2007 | 0 |
| Alexandre Buisse | IT University of Copenhagen | 2008 | 0 |
| Troels Christoffer Damgaard | IT University of Copenhagen | 2009 | 0 |
| Søren Debois | Københavns Universitet | 2008 | 1 |
| Ebbe Elsborg | IT University of Copenhagen | 2008 | 0 |
| Aïna Linn Georges | Aarhus University | 2023 | 0 |
| Hans Bugge Grathwohl | Aarhus University | 2016 | 0 |
| Simon Oddershede Gregersen | Aarhus University | 2023 | 0 |
| Jonas Brabrand Jensen | IT University of Copenhagen | 2013 | 0 |
| Morten Krogh-Jespersen | Aarhus University | 2018 | 0 |
| Hannes Mehnert | IT University of Copenhagen | 2013 | 0 |
| Rasmus Ejlers Møgelberg | IT University of Copenhagen | 2005 | 1 |
| Abel Nieto | Aarhus University | 2023 | 0 |
| Rasmus Lerchedahl Petersen | IT University of Copenhagen | 2007 | 0 |
| Filip Krzysztof Sieczkowski | IT University of Copenhagen | 2014 | 0 |
| Lau Skorstensgaard | Aarhus University | 2019 | 0 |
| Philipp Jan Andries Stassen | Aarhus University | 2024 | 0 |
| Léo Stefanesco | Université de Paris | 2021 | 0 |
| Kasper Svendsen | IT University of Copenhagen | 2013 | 0 |
| Jacob Thamsborg | IT University of Copenhagen | 2010 | 0 |
| Noah Torp-Smith | IT University of Copenhagen | 2005 | 0 |
| Simon Friis Vindum | Aarhus University | 2023 | 0 |