Phone: +44 (0)1904 325622
Fax: +44 (0)1904 325599
Office: CSE/215-4
E-mail: Send e-mail using web form
Links
People Finder
Search...
...by name, role, phone number, location and more:
Alternatively, use the selection tool below to find the person that you are looking for:
Christopher Poskitt
Research Student
Personal Page
Interests
- Theory and applications of algebraic graph transformation
- Graph-based programming models
- Program verification, especially Hoare logics and interactive theorem proving
- Theoretical computer science
Qualifications
B.Sc. (Hons) in Computer Science (First Class), The University of York, 2009.
Vice-Chancellor's Teaching Award, The University of York, 2011.
Preparing Future Academics (PFA) Programme, The University of York, 2011
Career
Third year Ph.D. research student in the Programming Languages and Systems Research Group, supervised by Dr. Detlef Plump and internally assessed by Prof. Jim Woodcock.
Please refer to my personal webpage for more information about my research and other activities.