5,834 reputation
46
bio website coldattic.info
location San Francisco, CA
age 27
visits member for 4 years, 9 months
seen Jul 17 '12 at 10:04

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 40,782 rep 967134
Programmers 5,834 rep 2247
Meta Stack Exchange 1,638 rep 1918
TeX - LaTeX 678 rep 266
Unix & Linux 581 rep 25

73 Votes Cast

all time   by type  
44 up 20 question
29 down 53 answer