5,788 reputation
2147
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 5 months
seen Jul 9 '14 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.


5,788 Reputation

This user has no recent positive reputation changes
57
× 2
29
46
× 2
29
46
× 2
25
× 5
44
× 2
24
× 2
43
23
Stack Overflow 38,314 rep 865133
Programmers 5,788 rep 2147
Meta Stack Exchange 1,630 rep 1918
TeX - LaTeX 613 rep 156
Unix & Linux 561 rep 15

879 Votes Cast

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