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