The University of York

Chris Poskitt

Chris Poskitt

Hello! I am a Ph.D. research student in the Department of Computer Science at The University of York, where I am a member of the PLASMA research group.

Under the supervision of Dr. Detlef Plump, my research will focus on the formal verification of graph programs (our original proposal provides some more information).

My reading list is available online, and should provide a good indication of my research interests.

Contact Me

Talks

Undergraduate Teaching/Demonstrating

Committees

Other Stuff


E-Mail: cposkitt [at] cs [dot] york [dot] ac [dot] uk Page Last Updated: 20th November 2009