543 reputation
21
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 1 month
seen Aug 3 '10 at 16:08

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 answered any questions
This user has not participated in any tags
This user has not asked any questions
Stack Overflow 35,307 rep 862129
Programmers 5,733 rep 2046
Meta Stack Exchange 1,622 rep 1817
TeX - LaTeX 543 rep 146
Unix & Linux 521 rep 15

0 Votes Cast

This user has not cast any votes