I am an Assistant Professor in the Programming Logic Group at the Computer Science Department. My current interests include generic and generative programming with dependent types as well as automating proof development in proof assisants like Agda and Alfa.
I am a member of the Cover project.
Some of my papers are available online.
Databases - LP2, HT04
D3 project — 2004/05
Types and Programming Languages — graduate course spring 2004.
Programming Languages - LP1, HT03
Databases - LP2, HT03
Some useless links ;-)