603 reputation
156
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 5 months
seen Jan 20 '13 at 9:26

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.


603 Reputation

This user has not answered any questions
Stack Overflow 37,661 rep 864132
Programmers 5,788 rep 2147
Meta Stack Exchange 1,625 rep 1918
TeX - LaTeX 603 rep 156
Unix & Linux 551 rep 15

37 Votes Cast

all time   by type  
37 up 14 question
0 down 23 answer