|location||Manchester, United Kingdom|
|visits||member for||6 months|
|seen||Jun 11 at 23:33|
I'm a PhD student with an interest in Java and Scala development currently researching formal methods for verifying the correctness of programs and extracting formal specifications from programs.
|bio||website||www2.cs.man.ac.uk/~regerg||visits||member for||6 months|
|location||Manchester, United Kingdom||seen||Jun 11 at 23:33|
0 Votes Cast
This user has not cast any votes