PhD projects
Below is a selection of current and recent PhD projects.
| Pi-Ware | ||
| 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 | |