101 reputation
2
bio website www-users.cs.york.ac.uk/…
location York, AL
age 27
visits member for 1 year, 6 months
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.


This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags

1 Vote Cast

all time   by type  
1 up 0 question
0 down 1 answer