Visit the section website to learn more about our research and teaching.
Employees in the Programming Language & Theory of Computation Section
The section performs research in programming language technology and in the theory of computation. Much of the work involves topics in the intersection of programming language theory (e.g., algorithmic aspects of programming and formal verification), and applications (e.g., computer security and privacy, systems, distributed ledger technology, and fintech).
Learn more about our research and teaching on our section website.
Name | Title | Image |
---|---|---|
Andrzej Filinski | Associate Professor |
|
Carl Victor von Wachter | PhD Fellow |
|
Christian Bahne Thygesen | PhD Student |
|
Cosmin Eugen Oancea | Associate Professor |
|
David Gray Marchant | Research Assistant |
|
Fritz Henglein | Professor |
|
Henrik Bjørn Axelsen | PhD Fellow |
|
Jon Eklöf | PhD Student |
|
Ken Friis Larsen | Associate Professor |
|
Lukas Thomas Schilling | IT Officer, FU |
|
Lys Sanz Moreta | PhD Student |
|
Martin Elsman | Professor |
|
Michael Kirkedal Thomsen | Part-time Lecturer |
|
Mikkel Kragh Mathiesen | Postdoc |
|
Ola Rønning | PhD Fellow |
|
Omry Ross | Associate Professor |
|
Philip Munksgaard | PhD Fellow |
|
Robert Glück | Professor |
|
Robert Schenck | PhD Fellow |
|
Thomas Philip Jensen | Professor |
|
Torben Ægidius Mogensen | Associate Professor |
|
Troels Henriksen | Assistant Professor - Tenure Track |
|
Zhan Su | PhD Fellow |
|
wvm405 wvm405 | External Postdoc |
|
Head of Section
Martin Elsman
Professor
mael@di.ku.dk