Visit the section website to learn more about our research and teaching.
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 | |
William Henrich Due | External, Ph.d Student |
Head of Section
Martin Elsman
Professor
mael@di.ku.dk