Jason Reich
Stats
293
reputation
4k
reached
2
answers
1
questions
Loading…
About

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 doesn’t have any gold badges yet.
4
silver badges
8
bronze badges
13
Score
2
Posts
67
Posts %
7
Score
1
Posts
33
Posts %
7
Score
1
Posts
33
Posts %
7
Score
1
Posts
33
Posts %
6
Score
1
Posts
33
Posts %
6
Score
1
Posts
33
Posts %