Badges
Certifications
Work Experience
ssjgz has not updated employment details yet.
Education
University of Southampton, Southampton
Computer Science, PhD• September 1999 - June 2008
Thesis: Improved State-Space Construction in Automated Verification
University of Southampton, Southampton
Mathematics, MMath• October 1995 - June 1999
Honors: Math Department “Top Student” – 1996, 1997, 1998, 1999 My Master's project was on Redfield-Polya Enumeration.
Links
Skills
ssjgz has not updated skills details yet.