Theoretical Computer Science

This section has just been established as part of a restructuring that took effect on January 1, 2025. A description of the section is currently being formulated and will be published as soon as possible.

Head of section: Riko Jacob

Research groups: Algorithms, Programming, Logic and Semantics (PLS)

Research center: Center for Information Security and Trust (CISAT)

Name	Title
Alessandro Bruni	Associate Professor
Amir Nikabadi	PhD fellow
Bernardo Machado David	Associate Professor
Camilla Birch Okkels	PhD fellow
Carsten Schürmann	Professor
Christina Frederikke Nissen	PhD fellow
Frederik Haagensen	PhD fellow
Holger Dell	Associate Professor
Jens Christian Godskesen	Associate Professor
Jesper Bengtson	Associate Professor
Louise Barkhuus	Professor
Maaike Annebet Zwart	Postdoc
Magnus Rahbek Dalgaard Hansen	PhD fellow
Marco Carbone	Professor
Markus Krabbe Larsen	PhD fellow
Martin Aumüller	Associate Professor
Melanie Duckert Schmidt	PhD fellow
Natalie Schluter	Associate Professor
Nutan Limaye	Professor
Oksana Kulyk	Associate Professor
Paloma Thomé de Lima	Associate Professor
Patrick Bahr	Associate Professor
Prateek Dwivedi	Postdoc
Radu-Cristian Curticapean	Associate Professor
Rahul Bangalore Satish	PhD fellow
Rasmus Ejlers Møgelberg	Professor
Ricardo Jose Menezes Maia	Postdoc
Riko Jacob	Head of Section
Rosario Giustolisi	Associate Professor
Thore Husfeldt	Professor
Tim Frederik Seppelt	Postdoc
Willard Rafnsson	Associate Professor