103 reputation
4
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 5 years
seen Dec 7 '12 at 1:14

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.


This user has not asked any questions
Stack Overflow 38,995 rep 866133
Programmers 5,798 rep 2247
Meta Stack Exchange 1,630 rep 1918
TeX - LaTeX 633 rep 156
Unix & Linux 571 rep 15

14 Votes Cast

all time   by type  
14 up 9 question
0 down 5 answer