5,702 reputation
1946
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 3 years, 10 months
seen Jul 9 at 18:23

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.


57
× 2
43
48
× 3
29
× 2
45
× 2
29
45
× 2
25
× 5
44
× 2
24
Stack Overflow 34,476 rep 859128
Programmers 5,702 rep 1946
Meta Stack Exchange 1,622 rep 1817
TeX - LaTeX 538 rep 146
Unix & Linux 521 rep 5

879 Votes Cast

all time   by type  
743 up 359 question
136 down 520 answer