Area 51 » Pavel Shved

206
reputation
7 views
network profile

Registered User

name Pavel Shved
member for 4 years
seen Nov 16 '10 at 15:29
website
location San Francisco, CA
age 26

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.

0

Proposals


0

Current Commitments


1

Fulfilled Commitment

Not Programming Related

For professional programmers who are interested in getting expert answers on conceptual questions about software development.
define
commit
beta

0

Followed


1

Example Question


9

Votes Cast

9 up

0 down