home

Hi, I am a research student at the department of computer science, King's College London and a member of the Theory of Computing Group . I am interested in the design and implementation of programming languages and in particular, in path-based implementations that use ideas from Linear Logic and the Geometry of Interaction interpretation.

supervisors

• Maribel Fernández
• Ian Mackie
• David Clark

updates

• New abstract machine implementations here.

contact

King's College London
Room 110 DL
26-29 Drury Lane
London, WC2B 5RL
telephone: +44 (0)20 7848 2476
email: myfirstname.mylastname AT kcl.ac.uk