vainolo's user avatar
vainolo's user avatar
vainolo's user avatar
vainolo
  • Member for 12 years, 2 months
  • Last seen more than 3 years ago
About

PhD student studying (or more correctly, 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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
1
Score
3
Posts
33
Posts %
1
Score
1
Posts
11
Posts %
1
Score
1
Posts
11
Posts %
1
Score
1
Posts
11
Posts %
0
Score
4
Posts
44
Posts %
0
Score
2
Posts
22
Posts %
Top posts