713 reputation
2 6 6

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 (2)

Score 0
Posts 1
Score 0
Posts 1

Top Posts (2) All Questions Answers | Votes Newest

Badges (14)

Gold 2

Rarest

Silver 6

Rarest

Bronze 6

Rarest