People

Faculty
Post. doc.'s
PhD students
  • Peter Brottveit Bock, Logical Frameworks with Linear Logic. Supervisor: Carsten Schuermann.
  • Christian Uldal Graulund. Supervisor: Rasmus Møgelberg.
  • Agata Murawska, Hybrid extensions of Logical Frameworks. Supervisor: Carsten Schuermann.
  • Håkon Norman. Supervisor: Thomas Hildebrandt.
Past Post. doc.'s
Graduated PhD students