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
Andrzej Filinski	Associate Professor
Boel Nelson	Assistant Professor - Tenure Track
Carl Fredrik Eriksson	IT Officer, FU
Carl-Johannes Johnsen	Guest Researcher
Cosmin Eugen Oancea	Associate Professor
David Gray Marchant	Postdoc
Eric Jul	Professor Emeritus
Fritz Henglein	Professor
Gabriel Haas	Research Assistant
Hans Hüttel	Associate Professor
Ivan Luiz Picoli	Postdoc
James Emil Avery	Associate Professor
Jonas Dornonville de la Cour	Guest Researcher
Ken Friis Larsen	Head of Department
Klaus Grue	Emeritus
Marko Bauer	Industrial PhD
Martin Elsman	Professor
Matilde Mouritsen Broløs	PhD Fellow
Michael Kirkedal Thomsen	Associate Professor
Mikkel Kragh Mathiesen	Guest Researcher
Muna Abdiasis Said Hussein	Student FU
Nikolaj Hey Hinnerskov	PhD Fellow
Ola Rønning	Postdoc
Omry Ross	Associate Professor
Per Niklas Callderyd Björkeroth	IT Officer, FU
Philippe Bonnet	Professor
Robert Glück	Professor
Sean Kristian Remond Harbo	Visiting PhD Student
Thomas Philip Jensen	Professor
Thomas Wim Hamelryck	Professor
Torben Ægidius Mogensen	Associate Professor
Troels Henriksen	Assistant Professor - Tenure Track
William Henrich Due	External, Ph.d Student