MSc Thesis Defense - Arnar Birgisson - Topics in Structural Operational Semantics
Arnar Birgisson will defend his MSc thesis Topics in Structural Operational Semantics on Wednesday 27th of May at Reykjavik University.
The defence will be held at 10am in room K5 (Kringlan 1). The evaluation committee will consist of:
- Luca Aceto (Reykjavik University, supervisor and chair of the committee),
- Ulfar Erlingsson (Microsoft Research and Reykjavik University),
- MohammadReza Mousavi (Eindhoven University of Technology) and
- Marjan Sirjani (Reykjavik University).
