Jason Reich's user avatar
Jason Reich's user avatar
Jason Reich's user avatar
Jason Reich
  • Member for 13 years, 3 months
  • Last seen more than 5 years ago
Stats
293
reputation
4k
reached
2
answers
1
question
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 %