393 reputation
11
bio website coldattic.info
location San Francisco, CA
age 25
visits member for 2 years, 10 months
seen Aug 3 '10 at 16:08
stats profile views 0

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 Stack Overflow 26,381 rep 746116
Programmers Stack Exchange Programmers 5,539 rep 1645
Meta Stack Overflow Meta Stack Overflow 1,526 rep 1616
TeX - LaTeX Stack Exchange TeX - LaTeX 393 rep 136
Area 51 Area 51 206 rep 14

0 Votes Cast

This user has not cast any votes