- This event has passed.
PhD Defense: Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach
August 23, 2024 @ 15:00 - 23:59
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
Original location: EC, EDIT, Chalmers, Gothenburg & online