John Wickerson

I'm a PhD student in the Programming, Logic and Semantics Group, supervised by Matthew Parkinson. My work focusses on logics for verifying concurrent programs; I'm particularly interested in Rely-Guarantee reasoning and separation logic.

I'm a member of Churchill College, where I organise the Churchill Compsci Talks series.

Supervisions

I supervise the following Computer Science Tripos courses:

• Denotational Semantics
• Foundations of Functional Programming
• Prolog
• Semantics of Programming Languages
• Types

Talks

• Automatic verification of C programs using the BLAST software model checker (pdf, 892kB)

Unpublished documents

• Concurrent Buns: A Chef's Guide to Concurrency Verification (pdf)
• The johnproof LaTeX environment (sty, pdf)
• A new notation for building sets? (pdf)
• Does lub-preservation imply monotonicity? (pdf)
• Implementing difference lists in Prolog (pdf)
• Nominal Prolog (my third-year undergraduate project) (pdf, 948kB)

Contact details

desk:	Room FS04 Computer Laboratory William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD
email:	Firstname.Surname@cl.cam.ac.uk
phone:	01223 763560