Welcome to the Doctoral Defense of Matthías Páll Gissurarson
Date and time: August 23, 15:00
Location: EC in EDIT-huset, Elektrovägen 1, Gothenburg, and online (see link below)
Doctoral student: Matthías Páll Gissurarson, Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg
Title: Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach
Main supervisor: Professor David Sands, Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg
Opponent: Claire Le Goues, Carnegie Mellon University, USA