PhD Defence by Agata Murawska

PhD Defence by Agata Murawska at 1 PM in Auditorium 4

Thesis: "Modern Logical Frameworks Design"

Examination Committee
Associate Professor Marco Carbone, IT University of Copenhagen (Chairman)
Professor Iliano Cervesato, Carnegie Mellon University
Professor Gopalan Nadathur, University of Minnesota

Supervisor
Associate Professor Carsten Schürmann, IT University of Copenhagen
Read more