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 | ||
| Supervisor | ||
| Reference | ||
| 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 | ||
| Supervisor | ||
| DOMain-Specific Type Error Diagnosis (DOMSTED) | ||
| Description | Programmable error messages for DSLs | |
| Status | active | |
| PhD Candidate | ||
| Supervisor | ||
| Higher-Ranked Polyvariance Explored | ||
| Description | Analysis of exceptions in functional languages | |
| Status | active (being finished) | |
| PhD Candidate | ||
| Supervisor | ||
| Incremental Evaluation Attribute Grammars | ||
| Description | Attribute grammar evaluation which limits re-evaluation to that what has changed | |
| Status | recently finished | |
| PhD Candidate | ||
| Supervisor | , | |
| Reference | ||