Current research interests: programming languages for distributed
systems, formal semantics for low-level network protocols, type
systems, programming languages, compilation of lazy functional languages.
Recently completed a PhD
thesis on usage types for lazy functional languages.