Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
246
reputation
1
9

vainolo

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.

1
answer
6
questions
~3k
people reached
  • Israel
  • Member for 6 years, 11 months
  • 15 profile views
  • Last seen Jan 20 at 11:53

Top tags (20)

Score 1
Posts 1
Posts % 14
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (7) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

1

Rarest

Bronze

9

Rarest