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