Research

I am a member of the Babel Group. My main research area concerns aspects related to programming and specification languages: design, semantics, implementation, applications, and teaching.

I am involved in two research projects: The SLAM Project and More Than Parsing