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
Ahmad Salim Al-Sibahi	Assistant Professor
Andrzej Filinski	Associate Professor
Carl Victor von Wachter	PhD Fellow
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
James Emil Avery	Guest Researcher
Jon Eklöf	PhD Student
Ken Friis Larsen	Associate Professor
Lys Sanz Moreta	PhD Fellow
Martin Elsman	Professor
Michael Kirkedal Thomsen	Associate Professor
Mikkel Kragh Mathiesen	PhD Student
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
Thomas Wim Hamelryck	Associate Professor
Tobias Hallundbæk Petersen	PhD Student
Torben Ægidius Mogensen	Associate Professor
Troels Henriksen	Assistant Professor
Zhan Su	PhD Fellow