Awards and Scholarships
I am thrilled to have won a number of awards and scholarships for research and teaching, listed below.
Membership in Programme Committees
Refereeing
Below is a list of conferences and workshops I have refereed for. I have indicated my particular roles as a reviewer within brackets.
Refereeing in 2012:
Refereeing in 2011:
Refereeing in 2010:
Events
Below are the events I have attended and contributed to whilst a Ph.D. student.
Events in 2012:
Events in 2011:
- Visit to the Theorem Proving Group at TU München, München, Germany. Supported by a William Gibbs award. October-December, 2011.
- Visit to the Formal Languages Group at Universität Oldenburg, Oldenburg, Germany. Supported by a William Gibbs award. 1-2 November, 2011.
- YDS 2011 (Programme Chair)
Fourth York Doctoral Symposium on Computer Science, The University of York. 20 October, 2011.
- PGWT (Postgraduates Who Teach) Residential (Speaker)
Fairfield Manor Hotel, York. Organised by the Researcher Development Team, The University of York. 14-15 September, 2011.
- Lecture at Headstart 2011. Alan Turing's Legacy: Computation and its Limits
Department of Computer Science, The University of York. 12-15 July, 2011.
- Visit to the Department of Computer Science and Automation at the Indian Institute of Science, Bangalore, India. Supported by UKIERI. 22-24 February, 2011.
Events in 2010:
- YDS 2010 (Programme and Organising Committee Member)
Third York Doctoral Symposium on Computing, The University of York. 4th November 2010.
- GCM 2010 (Attended; Subreviewer)
Third International Workshop on Graph Computation Models, University of Twente. 2nd October 2010.
- ICGT 2010 (Presented a Paper; Subreviewer)
Fifth International Conference on Graph Transformation, University of Twente. 27th September-2nd October 2010.
- VSTTE 2010 (Attended)
Third International Conference on Verified Software: Theories, Tools, and Experiments, Heriot-Watt University. 16-19th August 2010.
- VS-THEORY 2010 (Presented a Paper)
The Theory Workshop at the Third International Conference on Verified Software: Theories, Tools, and Experiments, Heriot-Watt University. 18th August 2010.
- Marktoberdorf Summer School 2010 (Attended)
On Software and Systems Safety: Specification and Verification. 3-15th August 2010.
- BCTCS 2010 (Gave a Talk)
26th British Colloquium for Theoretical Computer Science, The University of Edinburgh. 6-9th April 2010.
Administration
Below is a list of the administrative roles I have undertaken within the University of York (both past and present).
Current:
Past:
Page Last Updated: 9th February 2012