111 reputation
4
bio website www-users.cs.york.ac.uk/…
location York, AL
age 27
visits member for 3 years, 3 months
seen Oct 15 '13 at 15:19

I am a Ph.D student within the Programming Languages and Systems (PLASMA) research group. My Ph.D, co-supervised by Professors Colin Runciman and Richard Paige, is investigating the formal verification of functional language implementations. My interests generally lie within the topics of functional languages (in particular, Haskell), semantics and formal methods.


Apr
26
answered Functional language with C-like syntax
Dec
28
awarded  Nice Answer
Dec
28
awarded  Teacher
Dec
26
awarded  Autobiographer
Dec
26
awarded  Supporter