PhD projects

Below is a selection of current and recent PhD projects.

Description A Domain-Specific Language for simulation, synthesis and verification of hardware circuits, using techniques of Dependently-Typed Programming.
Status active
PhD Candidate João Paulo Pizani Flor
Supervisor Wouter Swierstra
Reference Pi-Ware on Gitlab
Revision Control of Structured Data
Description Development of a general theory of change and generic tool for the version control of structured data.
Status active
PhD Candidate Victor Cacciari Miraldo
Supervisor Wouter Swierstra
DOMain-Specific Type Error Diagnosis (DOMSTED)
Description Programmable error messages for DSLs
Status active
PhD Candidate Alejandro Serrano Mena
Supervisor Jurriaan Hage
Higher-Ranked Polyvariance Explored
Description Analysis of exceptions in functional languages
Status active (being finished)
PhD Candidate Ruud Koot
Supervisor Jurriaan Hage
Incremental Evaluation Attribute Grammars
Description Attribute grammar evaluation which limits re-evaluation to that what has changed
Status recently finished
PhD Candidate Jeroen Bransen
Supervisor Doaitse Swierstra, Atze Dijkstra
Reference Dissertation available in the Utrecht Universtiy Repository