Lambda the Ultimate

2000-2005 Undergrads in CompSci at RWTH Aachen, Germany
2002-2003 Exchange year at University of Kent, Canterbury, UK
2006-now Ph.D. Student in CompSci at McGill University

Verification, declarative languages, safety by design, fault tolerance