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 Student
Christoffer Olling Back	External Postdoc
Cosmin Eugen Oancea	Associate Professor
David Gray Marchant	Postdoc
Eric Jul	Professor Emeritus
Franciszek Olaf Zdyb	Research Assistant
Fritz Henglein	Professor
Hans Hüttel	Associate Professor
Henrik Bjørn Axelsen	PhD Fellow
James Emil Avery	Guest Researcher
Jon Eklöf	Enrolled PhD Student
Ken Friis Larsen	Associate Professor
Klaus Grue	Emeritus
Martin Elsman	Professor
Michael Kirkedal Thomsen	Part-time Lecturer
Mikkel Kragh Mathiesen	Research Assistant
Nikolaj Hey Hinnerskov	PhD Student
Ola Rønning	Postdoc
Oleks Shturmov	Research Assistant
Philippe Bonnet	Professor
Robert Glück	Professor
Robert Schenck	Enrolled PhD Student
Thomas Philip Jensen	Professor
Torben Ægidius Mogensen	Associate Professor
Troels Henriksen	Assistant Professor - Tenure Track
Yuqin Zhou	Academic Research Staff
Zhan Su	PhD Fellow