|location||Manchester, United Kingdom|
|visits||member for||5 months|
|seen||Nov 26 at 17:57|
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||5 months|
|location||Manchester, United Kingdom||seen||Nov 26 at 17:57|
6 Votes Cast
|all time||by type|