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
Cosmin Eugen Oancea	Associate Professor
David Gray Marchant	Research Assistant
Dmitry Serykh	PhD Fellow
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	Assistant Professor
Wojciech Michal Pawlak	PhD Student
Zhan Su	PhD Fellow