network profile
| bio | website | coldattic.info |
|---|---|---|
| location | Moscow, Russia | |
| age | 24 | |
| visits | member for | 1 year, 9 months |
| seen | Oct 4 '11 at 8:41 | |
| 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.
|
|
Stack Overflow | 18,464 rep | 33281 |
|
|
Programmers | 5,175 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
| all time | by type | ||||
|---|---|---|---|---|---|
| 37 | up | 14 | question | ||
| 0 | down | 23 | answer | ||
