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