People

Faculty

• Patrick Bahr
• Alessandro Bruni
• Jesper Bengtson
• Marco Carbone
• Søren Debois
• Rosario Giustolisi
• Rasmus Ejlers Møgelberg, research interests: denotational semantics, category theory, type theory, computational effects, guarded recursion
• Willard Rafnsson
• Carsten Schürmann

Postdocs

• Maaike Zwart

PhD students

• Markus Krabbe Larsen. Supervisor: Carsten Schürmann

Research assistants

• Emil Ørup Kristensen

Graduated PhD students

• Dawit Tirore. Supervisors: Marco Carbone and Jesper Bengtson
• Frederik Madsen. Supervisor: Søren Debois
• Magnus Baunsgaard Kristensen. Supervisor: Rasmus Møgelberg.
• Christian Uldal Graulund. Supervisor: Rasmus Møgelberg.
• Jonas Kastberg Hinrichsen. Supervisor: Jesper Bengtson
• Håkon Norman. Supervisor: Thomas Hildebrandt.
• Agata Murawska
• Marco Paviotti, Denotational Semantics in Guarded Type Theory. Supervisor: Rasmus Ejlers Møgelberg. Co-supervisor: Jesper Bengtson.
• Jian Wang. Supervisor: Carsten Schuermann.
• Daniel Gustafsson. Supervisor: Carsten Schuermann.
• Tijs Slaats
• Fabrizio Montesi
• Gian Perrone
• Taus Brock-Nannestad
• Filip Sieczkowski
• Jonas B. Jensen
• Hannes Mehnert
• Bodil Biering
• Nina Bohr
• Mikkel Bundgaard
• Troels C. Damgaard
• Søren Debois
• Ebbe Elsborg
• Espen Højsgaard
• Hugo A. López
• Rasmus Ejlers Møgelberg
• Rasmus Lerchedahl Petersen
• Adam Poswolsky
• Jeffrey Sarnat
• Anders Schack-Nielsen
• Lei Song
• Jacob Thamsborg
• Noah Torp-Smith