101 reputation
2

selig

I'm a Research Associate working in the field of program verification. I'm interested in Java, Scala, and more recently C++.