PhD Defense by Håkon Normann
PhD Defense by Håkon Normann at 10 AM in auditorium 1
Thesis: "Independence, name-passing and constraints in models for concurrency"
Examination Committee
Associate Professor, Jesper Bengtson, IT University of Copenhagen (Chairman)
Professor, Uwe Nestmann, Technische Universität Berlin
Professor, Nobuko Yoshida, Imperial College London
Supervisor
Associate Professor Thomas Hildebrandt