Projects

I am interested in developing "intelligent development environments". These are tools that allow designers and developers of complicated mathematical theories, type systems, programming languages, secure and safe communication systems to specify designs, verify their respective properties and automatically generate implementation code.

My research draws from and contributes to the following areas: Programming language theory; Type theory; Meta logical frameworks; Formal methods; Computational logic; Automated Deduction; logic, and protocols.

In the past I have been working on the Twelf project. Currently, I am working also on the Delphin project.