C-Otto

Colchester, UK

http://verify.rwth-aachen.de/otto/

  • Software Engineer (mostly Java)
  • IntelliJ IDEA fanboy
  • Linux user and administrator of a high-traffic mirror server
  • PhD in computer science (RWTH Aachen University, Germany)