6,007 reputation
23 47

Pavel Shved

I work in web-related development these days. Previously, I worked on ROSA Linux distribution derived from Mandriva. In (post)graduate school I developed static program analysis tools, and carried on some research on the subject.

My blog "A Foo walks into a Bar" is hosted on my home site coldattic.info.

If you know any Languages specifically designed to make static verification easier, please, answer the question linked.

Top Tags (73)

Score 69
Posts 2
Posts % 4
Score 47
Posts 2
Score 26
Posts 5
Score 24
Posts 2
Score 17
Posts 3
Score 15
Posts 6

Top Posts (47) All Questions Answers | Votes Newest

View all questions and answers

Badges (70)

Silver 23


Bronze 47