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.
I regularly teach in undergraduate problem classes, practical classes, and seminar-style sessions. Modules I have had involvement with thus far are listed below:
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
