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.  Recently, I have been working on theorem proving, model checking and the combination of these two formal verification methods.

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.

Ken Madlener

Started in September 2008. Main focus: combining model checking with theorem proving. Model Extraction for industrial software.

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