263
reputation
4
8

Jason Reich

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.

2
answers
1
question
~3k
people reached

Top tags (10)

Score 13
Posts 2
Posts % 67
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 6
Posts 1
Score 6
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (12)

Gold

Silver

4

Rarest

Bronze

8

Rarest