PhD Student in Functional Programming,
I'm currently working mostly on program calculation, and in particular compiler calculation. That is, deriving correct-by-construction programming language compilers by starting with a simple… read more
I'm currently working mostly on program calculation, and in particular compiler calculation. That is, deriving correct-by-construction programming language compilers by starting with a simple semantics and linking this to a stack machine using equational reasoning.
The University of Nottingham School of Computer Science Jubilee Campus Nottingham, NG7 1BB
telephone: +44 (0) 115 95 14220 email:fp-lunch@cs.nott.ac.uk