Area 51 » Jason Reich

156
reputation
0 views
network profile

Registered User

name Jason Reich
member for 3 years
seen Oct 25 '13 at 8:43
website
location York
age 27

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.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


0

Followed


0

Example Questions


0

Votes Cast