101 reputation
bio website www-users.cs.york.ac.uk/…
location York, AL
age 28
visits member for 2 years, 1 month
seen Jan 10 '13 at 8:35

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.

101 Reputation

100 Jan 10 '13
+100 08:35 assoc