CV/Resume: Skills

Home
Teaching
Programming
Research
Climbing
CV/Resume
Contact Details

Expert knowledge

ESC/Java

Isabelle

Coq

PVS

Alf

Education

PhD
MSc
BSc
School
Professional

Employment

Current
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