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
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
Ivan Luiz Picoli	Postdoc
Jakob Grue Simonsen	Head of Department
James Emil Avery	Associate Professor
Ken Friis Larsen	Associate Professor
Klaus Grue	Emeritus
Martin Elsman	Professor
Matilde Mouritsen Broløs	Research Assistant
Michael Kirkedal Thomsen	Associate Professor
Mikkel Kragh Mathiesen	Postdoc
Nikolaj Hey Hinnerskov	PhD Student
Ola Rønning	Postdoc
Omry Ross	Associate Professor
Philippe Bonnet	Professor
Robert Glück	Professor
Robert Schenck	Enrolled PhD Student
Thomas Philip Jensen	Professor
Thomas Wim Hamelryck	Professor
Torben Ægidius Mogensen	Associate Professor
Troels Henriksen	Assistant Professor - Tenure Track