network profile
| bio | website | coldattic.info |
|---|---|---|
| location | Moscow, Russia | |
| age | 24 | |
| visits | member for | 2 years, 5 months |
| seen | Dec 25 '11 at 15:48 | |
| stats | profile views | 6 |
I work in ZAO ROSA on ROSA Linux distribution derived from Mandriva.
Previously, I worked in ISPRAS (Institute for System Programming of Russian Academy of Sciences), developed static program analysis tools, and did 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.
This user has not asked any questions
|
|
Stack Overflow | 18,714 rep | 33282 |
|
|
Programmers | 5,193 rep | 1238 |
|
|
Meta Stack Overflow | 1,433 rep | 1515 |
|
|
TeX - LaTeX | 258 rep | 26 |
|
|
Area 51 | 206 rep | 14 |
This user has no active bounties
This user has not cast any votes
