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 |
|
Carl-Johannes Johnsen | Research Assistant |
|
Cosmin Eugen Oancea | Associate Professor |
|
David Gray Marchant | Research Assistant |
|
Dmitry Serykh | PhD Fellow |
|
Fritz Henglein | Professor |
|
Glynn Winskel | Professor |
|
Hans Hüttel | Associate Professor |
|
Henrik Bjørn Axelsen | PhD Fellow |
|
Jon Eklöf | PhD Student |
|
Ken Friis Larsen | Associate Professor |
|
Lys Sanz Moreta | PhD Student |
|
Martin Elsman | Professor |
|
Michael Kirkedal Thomsen | Part-time Lecturer |
|
Mikkel Kragh Mathiesen | Research Assistant |
|
Ola Rønning | PhD Fellow |
|
Omry Ross | Associate Professor |
|
Philip Munksgaard | PhD Fellow |
|
Robert Glück | Professor |
|
Robert Schenck | PhD Fellow |
|
Siddharth Kasi Bhaskar | Visitor |
|
Thomas Philip Jensen | Professor |
|
Thomas Wim Hamelryck | Guest Researcher |
|
Torben Ægidius Mogensen | Associate Professor |
|
Troels Henriksen | Assistant Professor - Tenure Track |
|
Xuyin Zhu | PhD Student |
|
Zhan Su | PhD Fellow |
|
Head of Section
Ken Friis Larsen
Associate Professor
kflarsen@di.ku.dk