5,173 reputation
1238
bio website coldattic.info
location Moscow, Russia
age 24
visits member for 1 year, 8 months
seen yesterday
stats profile views 286

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.


51
× 2
32
× 2
45
× 3
24
× 2
41
× 2
24
40
24
32
× 3
21
× 5
Stack Overflow Stack Overflow 18,584 rep 33282
Programmers Programmers 5,173 rep 1238
Meta Stack Overflow Meta Stack Overflow 1,433 rep 1515
TeX - LaTeX TeX - LaTeX 258 rep 26
Area 51 Area 51 206 rep 14
all time   by type  
742 up 359 question
135 down 518 answer