Research


Interests

Papers (dblp)

Tools

EasyCrypt

I am currently working on:

Forlan Project

The Forlan Project consists of a toolset for experimenting with formal languages, a draft textbook entitled Formal Language Theory: Integrating Experimentation and Proof, and associated lecture slides.

eXene

I led a group continuing the development of eXene, Gansner and Reppy's multi-threaded, higher-order user-interface toolkit for the X window system.

Former Research Students


Alley Stoughton (alley.stoughton@icloud.com)