Chris Poskitt's Homepage
Christopher M. Poskitt B.Sc. (Hons), AHEA
Contents→ Publications→ Talks→ Teaching→ Other Activities and Achievements→ Contact Details→ Curriculum Vitae (.pdf) |
 |  |
Recent News
- 2012-05-01: I start lecturing on an undergraduate course on formal languages and automata from today. My lecture notes for this are available here and will be updated as the term progresses.
- 2012-01-03: our submission to the journal Fundamenta Informaticae, "Hoare-Style Verification of Graph Programs", was recently accepted, and the preprint is now available online here. The paper will appear in a special issue on graph transformation, with other extended theory papers from ICGT 2010.
- 2011-12-09: the ICGT 2010 paper "A Hoare Calculus for Graph Programs" I wrote with Detlef Plump has won the K M Stott Memorial Prize for best York CS research paper by a student.
I am a third year Ph.D. research student in the Department of Computer Science at The University of York, where I am a member of the Programming Languages and Systems Research Group. My supervisor is Dr. Detlef Plump, and internal assessor is Professor Jim Woodcock. I am supported by an EPSRC DTA Scholarship.
My research interests lie largely within the broad areas of theoretical computer science and programming languages. They include the theory and applications of algebraic graph transformation, graph-based programming models, program verification, logic, and interactive theorem proving. Current work is focusing on adapting Hoare logic to graph programs (programs which rewrite graphs at a high-level of abstraction).
You can view my calendar online to check my availability on weekdays.
Page Last Updated: 1st May 2012