PhD Defence by Agata Murawska
PhD Defence by Agata Murawska at 1 PM in Auditorium 4
Thesis: "Modern Logical Frameworks Design"
Associate Professor Marco Carbone, IT University of Copenhagen (Chairman)
Professor Iliano Cervesato, Carnegie Mellon University
Professor Gopalan Nadathur, University of Minnesota
Associate Professor Carsten Schürmann, IT University of Copenhagen