Faculty
Post. doc.'s
PhD students
  • Peter Brottveit Bock, Logical Frameworks with Linear Logic. Supervisor: Carsten Schuermann.
  • Christian Uldal Graulund. Supervisor: Rasmus Møgelberg.
  • Jonas Kastberg Hinrichsen. Supervisor: Jesper Bengtson
  • Håkon Norman. Supervisor: Thomas Hildebrandt.
Past Post. doc.'s
Graduated PhD students