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
Aleksandar Topic Guest Researcher Billede af Aleksandar Topic
Andrzej Filinski Associate Professor Billede af Andrzej Filinski
Aputsiak Niels Janussen Academic Research Officer Billede af Aputsiak Niels Janussen
Benjamin Daniel Nyberg Shultz IT Officer, FU Billede af Benjamin Daniel Nyberg Shultz
Carl-Johannes Johnsen Guest Researcher Billede af Carl-Johannes Johnsen
Cosmin Eugen Oancea Associate Professor Billede af Cosmin Eugen Oancea
David Gray Marchant Postdoc Billede af David Gray Marchant
Eric Jul Professor Emeritus Billede af Eric Jul
Franciszek Olaf Zdyb PhD Fellow Billede af Franciszek Olaf Zdyb
Fritz Henglein Professor Billede af Fritz Henglein
Hans Hüttel Associate Professor Billede af Hans Hüttel
Hans Henrik Happe Systems Administrator Billede af Hans Henrik Happe
Hanzhi Wang Postdoc Billede af Hanzhi Wang
He Lyu IT Officer, FU Billede af He Lyu
Henrik Bjørn Axelsen PhD Student Billede af Henrik Bjørn Axelsen
Ivan Luiz Picoli Postdoc Billede af Ivan Luiz Picoli
Jakob Grue Simonsen Head of Department Billede af Jakob Grue Simonsen
James Emil Avery Associate Professor Billede af James Emil Avery
Jonas Bardino Software Developer Billede af Jonas Bardino
Jonas Dornonville de la Cour Guest Researcher Billede af Jonas Dornonville de la Cour
Klaus Grue Emeritus Billede af Klaus Grue
Louis Marott Normann Research Assistant Billede af Louis Marott Normann
Martin Elsman Professor Billede af Martin Elsman
Martin Garrigues Rehr Academic Staff Billede af Martin Garrigues Rehr
Matilde Mouritsen Broløs PhD Fellow Billede af Matilde Mouritsen Broløs
Michael Kirkedal Thomsen Associate Professor Billede af Michael Kirkedal Thomsen
Mikkel Kragh Mathiesen Postdoc Billede af Mikkel Kragh Mathiesen
Nikolaj Hey Hinnerskov PhD Fellow Billede af Nikolaj Hey Hinnerskov
Ola Rønning Postdoc Billede af Ola Rønning
Omry Ross Associate Professor Billede af Omry Ross
Per Niklas Callderyd Björkeroth IT Officer, FU Billede af Per Niklas Callderyd Björkeroth
Philippe Bonnet Professor Billede af Philippe Bonnet
Rasmus Munk Academic Research Staff Billede af Rasmus Munk
Robert Schenck Enrolled PhD Student Billede af Robert Schenck
Robert Glück Professor Billede af Robert Glück
Rune Christoffer Kildetoft Andresen Systems Administrator Billede af Rune Christoffer Kildetoft Andresen
Sebastian Larsen Prehn IT Officer, FU Billede af Sebastian Larsen Prehn
Therese Lyngby IT Officer, FU Billede af Therese Lyngby
Thomas Philip Jensen Professor Billede af Thomas Philip Jensen
Thomas Wim Hamelryck Professor Billede af Thomas Wim Hamelryck
Tobias Hjorth Rasmussen IT Officer, FU Billede af Tobias Hjorth Rasmussen
Torben Ægidius Mogensen Associate Professor Billede af Torben Ægidius Mogensen
Troels Henriksen Assistant Professor - Tenure Track Billede af Troels Henriksen
William Henrich Due External, Ph.d Student Billede af William Henrich Due
Zhan Su Guest Researcher Billede af Zhan Su