CV/Resume

Home
Teaching
Programming
Research
Climbing
CV/Resume
Contact Details

since January 2014

Cake Solutions Limited

Software Engineer

Education

PhD
MSc
BSc
School
Professional

Employment

Current
2012-2013
2008-2012
2007-2008
2006-2007
1997-2004
1995-1997
1992-1995
1986-1988

Skills

Programming Languages
Operating Systems
Theorem Provers
Formal Methods

Useful Links

Collection of useful links taken from my current browser toolbar.

Hosted by Web Frameworks Ltd. Site Map