Laurence E. started following the work of Michael Gale, University of Nottingham, Computer Science.
Laurence E. started following the work of Julie Greensmith, University of Nottingham, Computer Science.
Laurence E. added a paper
Laurence E. ping!
Graduate Student, Computer Science
Doctoral Student
Functional Programming Laboratory
Thesis Title: Modular Compilers (working topic)
|
Prof. Graham Hutton
Dr Thorsten Altenkirch |
About
I'm a second year research PhD student in the Functional Programming Laboratory of the School of Computer Science at the University of Nottingham, supervised by Professor Graham Hutton.
My current research concerns investigating the possibilities of using monads as an aid to constructing modular compilers within a functional framework, building upon previous work in the field on modular interpreters. I'm also interested in methods of proving program correctness, category theory, automated theorem proving within functional languages and computational complexity theory.
Contact Information
| Homepage: |
