Research |
Interests |
My research background is in the area of theory, design, implementation and application of functional and object oriented programming languages. Particularly, I am interested in typing systems, statical analyses, program transformations and program correctness. My current research focusses theorem proving, model checking and their combination. |
Leonard Lensink |
Is currently doing research on theorem proving with PVS, in particular on applying PVS to industrial software, and on generating software from PVS specifications. Leonard is expected to finish his PhD end of 2013 |
Ken Madlener |
Started in September 2008. Main focus: modular operational sematics and formal verification (in Coq). Has recently finished his manuscript, and it is expected that Ken will get his PhD in the beginning of 2014. |
Publications |
Click here for an overview of my publications. |
PhD and Postdocs |
Current Supervision |
Former PhD students |
Arjen van Weelden |
Thesis: Putting Types to Good Use. October 2007 |
Artem Alimarine |
Thesis: Generic Functional Programming - Conceptual Design, Implementation and Applications. September 2005 |