|location||Manchester, United Kingdom|
|visits||member for||1 year, 4 months|
|seen||Jun 11 '13 at 23:33|
I'm a Research Associate working in the field of program verification. I'm interested in Java, Scala, and more recently C++.
|bio||website||www2.cs.man.ac.uk/~regerg||visits||member for||1 year, 4 months|
|location||Manchester, United Kingdom||seen||Jun 11 '13 at 23:33|
0 Votes Cast
This user has not cast any votes