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 |
|
Carl Victor von Wachter | PhD Student |
|
Christoffer Olling Back | External Postdoc |
|
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 |
|
James Emil Avery | Guest Researcher |
|
Jon Eklöf | Enrolled PhD Student |
|
Ken Friis Larsen | Associate Professor |
|
Klaus Grue | Emeritus |
|
Martin Elsman | Professor |
|
Michael Kirkedal Thomsen | Part-time Lecturer |
|
Mikkel Kragh Mathiesen | Research Assistant |
|
Nikolaj Hey Hinnerskov | PhD Student |
|
Ola Rønning | Postdoc |
|
Oleks Shturmov | Research Assistant |
|
Philippe Bonnet | Professor |
|
Robert Glück | Professor |
|
Robert Schenck | Enrolled PhD Student |
|
Thomas Philip Jensen | Professor |
|
Torben Ægidius Mogensen | Associate Professor |
|
Troels Henriksen | Assistant Professor - Tenure Track |
|
Yuqin Zhou | Academic Research Staff |
|
Zhan Su | PhD Fellow |
|
Head of Section
Martin Elsman
Professor
mael@di.ku.dk