Pavel Shvedless info
|location||San Francisco, CA|
|visits||member for||3 years, 3 months|
|seen||Dec 7 '12 at 1:14|
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.
|bio||website||coldattic.info||visits||member for||3 years, 3 months|
|location||San Francisco, CA||seen||Dec 7 '12 at 1:14|
14 Votes Cast
|all time||by type|