The University of York

Chris Poskitt

Chris PoskittChris Poskitt... quite some time ago!

Hello! I am a first-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 my internal examiner is Prof. Jim Woodcock.

My research interests are largely within the broad topics of theoretical computer science and programming languages. They include graph transformation, graph-based programming systems, monadic second-order logic, and formal program verification. A particular interest of mine is the verification of graph transformation systems and graph programs.

I have made my reading list available online.

Talks

Publications

In Progress

  1. A paper with Detlef Plump.

Reports

  1. C.M. Poskitt. Checking Graph Properties with the Graph Programming Language GP. B.Sc. dissertation, Department of Computer Science, The University of York, 2009.

Undergraduate Teaching/Demonstrating

I regularly teach in undergraduate problem classes, practical classes, and seminar-style sessions. Modules I have had involvement with thus far are listed below:

Events, Committees, and Administration

Contact Me

The best way of contacting me is by sending an e-mail. My e-mail address is cposkitt [at] cs [dot] york [dot] ac [dot] uk (alternatively you can e-mail me via this web form). For snail mail and telephone fans, the details you need are below:
Chris Poskitt
Research Student
Department of Computer Science
The University of York
Heslington, York, YO10 5DD

Office: CS/210B-13
Phone: +44 (0)1904 432713
Fax: +44 (0)1904 432767

Other Stuff


E-Mail: cposkitt [at] cs [dot] york [dot] ac [dot] uk Page Last Updated: 6th February 2010