Area 51 » Pavel Shved
|
Registered User
|
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. |
network profile
| 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.| 0 |
Followed |
| 9 | Votes Cast |
9 up
0 down
