vainolo
6,907
reputation
4
24
47
PhD student studying, defining, and implementing the executable semantics of OPM for software systems. Most of my programming work is in Java, with some experience with Ada83, C, C++, Lisp, Perl, Ruby, and others.