Chris Poskitt's Homepage
/ Other Activities and Achievements
Awards and Scholarships
I am thrilled to have won a number of awards and scholarships for research and teaching, listed below.- K M Stott Memorial Prize (value £200) for best paper by a York Computer Science student in 2010.
- William Gibbs Award (value £3,500) to support a research visit to the Theorem Proving Group at Technische Universität München between September and December 2011.
- Vice-Chancellor's Teaching Award 2011 for excellence in teaching at York.
- EPSRC DTA Scholarship (value approx. £50,000) covering Ph.D. tuition fees and living expenses for three years.
Membership in Programme Committees
- YDS 2012
- LSCITS Postgraduate Workshop 2011
- YDS 2011 (Programme Chair)
- YDS 2010
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:
- YDS 2012 (Programme Committee Member)
Refereeing in 2011:
- ECEASST Volume 39: Graph Computation Models 2010 (Subreviewer)
- LSCITS Postgraduate Workshop 2011 (Programme Committee Member)
- YDS 2011 (Programme Chair)
Refereeing in 2010:
Events
Below are the events I have attended and contributed to whilst a Ph.D. student.Events in 2012:
- YDS 2012
Fifth York Doctoral Symposium on Computer Science, The University of York. 8 November, 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:
- 2009-present: Talk/Seminar/Lunch Organiser for the Programming Languages and Systems Research Group
- 2008-present: Regular speaker on departmental Open Days and UCAS interview days
Past:
- 2009-2012: Research Student Representative on the Computer Science Board of Studies
- 2010-2011: Organiser (chair) of the department's Research Student Seminar Series
- 2009-2010: Ph.D. Student Representative in the Langwith College Project Working Group
Page Last Updated: 9th February 2012