network profile
111
reputation
1
| bio | website | www-users.cs.york.ac.uk/… |
|---|---|---|
| location | York, AL | |
| age | 26 | |
| visits | member for | 2 years, 5 months |
| seen | Dec 26 '10 at 14:28 | |
| stats | profile views | 0 |
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 asked any questions
|
Stack Overflow | 808 rep | 415 |
|
Theoretical Computer Science | 223 rep | 16 |
|
Area 51 | 156 rep | 2 |
|
Programmers | 111 rep | 4 |
|
Meta Stack Overflow | 101 rep | 2 |
0 Votes Cast
This user has not cast any votes
