ericbodden

Personal information


Canada

male

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

History


11 years 38 weeks