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 Billede af Andrzej Filinski
Carl Victor von Wachter PhD Fellow Billede af Carl Victor von Wachter
Carl-Johannes Johnsen Research Assistant Billede af Carl-Johannes Johnsen
Cosmin Eugen Oancea Associate Professor Billede af Cosmin Eugen Oancea
David Gray Marchant Research Assistant Billede af David Gray Marchant
Dmitry Serykh PhD Fellow Billede af Dmitry Serykh
Fritz Henglein Professor Billede af Fritz Henglein
Glynn Winskel Professor Billede af Glynn Winskel
Hans Hüttel Associate Professor Billede af Hans Hüttel
Henrik Bjørn Axelsen PhD Fellow Billede af Henrik Bjørn Axelsen
Jon Eklöf PhD Student Billede af Jon Eklöf
Ken Friis Larsen Associate Professor Billede af Ken Friis Larsen
Lys Sanz Moreta PhD Student Billede af Lys Sanz Moreta
Martin Elsman Professor Billede af Martin Elsman
Michael Kirkedal Thomsen Part-time Lecturer Billede af Michael Kirkedal Thomsen
Mikkel Kragh Mathiesen Research Assistant Billede af Mikkel Kragh Mathiesen
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 Visitor Billede af Siddharth Kasi Bhaskar
Thomas Philip Jensen Professor Billede af Thomas Philip Jensen
Thomas Wim Hamelryck Guest Researcher Billede af Thomas Wim Hamelryck
Torben Ægidius Mogensen Associate Professor Billede af Torben Ægidius Mogensen
Troels Henriksen Assistant Professor - Tenure Track Billede af Troels Henriksen
Xuyin Zhu PhD Student Billede af Xuyin Zhu
Zhan Su PhD Fellow Billede af Zhan Su