Professional Activities
I am co-chairing the SPIN 2012 Workshop on Model Checking of Software. Please consider submitting a paper!
- I am serving on the committee of:
- DAC 2012 (Expert Reviewer for subcommittee on Embedded System Specification and Software Engineering)
- PLACES 2012 (PC)
- GRAPHITE 2012 (PC)
- I have served on the committee of:
- PLACES 2011 (PC)
- CISIS 2011 (PC)
- HPCC 2010 (PC)
- 3PGCIC 2010 (PC)
- HIPS 2010 (PC)
- MuCoCoS 2010 (PC)
- International Symmetry Conference 2007 (Model Checking area chair. Web page no longer seems to exist)
- Co-chair: 6th International Workshop on Symmetry and Constraint Satisfaction Problems, Nantes, France, 2006
- Organizer: 27th Scottish Theorem Proving Seminar, Glasgow, UK, 2006
- Co-organizer: SymNet Workshop on "Almost Symmetry" in Search, New Lanark, UK, 2005 (funded by the SymNet EPSRC Network of Excellence)