I am a PhD student at the University of Cambridge Computer Laboratory and a member of Fitzwilliam College. I participate in the Cambridge Programming Research Group and the Theory and Semantics Group. I am funded by Microsoft Research.
My supervisors are Nick Benton, Tim Griffin and Alan Mycroft.
Andrej Bauer has put up a photo of me.
I hold BSc and MSc degrees in Computer Science from the University of Birmingham.
My interests include Semantics of Programming Languages, Optimising Compilers and Static Analysis.
I am primarily interested in continuation-passing style, type and effect systems and the semantics of control (especially backtracking). Previously I worked with Hayo Thielecke on the relationship between the Visitor pattern and algebraic type encodings in System F (see our MFPS paper).
On Mondays I eat Semantics Lunch and on Thursdays we have LSD. The Mini Courses in Theoretical Computer Science are also helpful.
In the past I have supervised Denotational Semantics, Types, Semantics of Programming Languages, Regular Languages and Finite Automata, Foundations of Functional Programming, Comparative Programming Languages, Discrete Mathematics II and Mathematics for Computation Theory.
I am keen to supervise student projects in any of the following:
These are also available from my DBLP page.
My Erdős number is 4: Buchlovsky-Thielecke-Power-Makkai-Erdős.
I am a member of the CUGC and also the chairman. We fly from Gransden Lodge.
Email: Peter.Buchlovsky AT cl.cam.ac.uk
Office: FS07 (on the first floor and south side of the WGB)
Last updated: June 2009