Staff in the Programming Language & Theory of Computation Section

The PLTC Section performs research in programming language technology and in the theory of computation. Much of our 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).

Name	Title	Image
Ahmad Salim Al-Sibahi	Assistant Professor
Andrzej Filinski	Associate Professor
Cosmin Eugen Oancea	Associate Professor
David Gray Marchant	Research Assistant
Finn Schiermer Andersen	Part-time Lecturer
Fritz Henglein	Professor
Glynn Winskel	Professor
Gustav Abraham Wolk	PhD Student
Hans Hüttel	Associate Professor
Jakob Grue Simonsen	Head of Department
James Emil Avery	Guest Researcher
Jesper Andersen	Guest Researcher
Jon Eklöf	PhD Student
Ken Friis Larsen	Associate Professor
Lucas Chaves Lima	PhD Fellow
Lys Sanz Moreta	PhD Fellow
Martin Elsman	Professor
Martin Elsman	Professor
Mikkel Kragh Mathiesen	PhD Student
Morten Brøns-Pedersen	Part-time Lecturer
Ola Rønning	PhD Fellow
Omry Ross	Associate Professor
Philip Munksgaard	PhD Fellow
Robert Glück	Professor
Robert Schenck	PhD Fellow
Siddharth Kasi Bhaskar	Postdoc
Tethys Bundgaard Svensson	Part-time Lecturer
Thomas Philip Jensen	Professor
Thomas Wim Hamelryck	Associate Professor
Tobias Hallundbæk Petersen	PhD Student
Torben Ægidius Mogensen	Associate Professor
Troels Henriksen	Postdoc
Wojciech Michal Pawlak	PhD Student
Zhan Su	PhD Fellow