Activities
Current Responsibilities:
- Post-graduate representative for The School of Computing Science
Past events of note:
- 2011/05/25 - Member of the organising committe of the SICSA PhD Conference 2011 (web coordinator)
- 2010/12/01 - Gave talk to the Model Checker's group at Glasgow University
- 2010/11/26 - Gave talk at SICSA Induction event: Typestate Specification & Verification
- 2010/11/24 - Gave talk to SPLS/FiTA at Strathclyde University: Typestate Languages: An Comparison
- 2010/11/16 - Gave talk to FATA group at Glasgow University: Typestate Languages
- 2010/06/15 - Attended the Oregon Programming Languages Summer School 2010
- 2010/06/09 - Paper accepted and presented to the SICSA Student Conference 2010: Hanoi: A Practical Typestate Model for Java, received best paper award
- 2009/10/01 - Started my PhD