551 reputation
15
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 1 year, 2 months
seen Aug 28 '13 at 23:53

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.


551 Reputation

This user has not asked any questions
Stack Overflow 36,277 rep 863132
Programmers 5,754 rep 2147
Meta Stack Exchange 1,627 rep 1917
TeX - LaTeX 558 rep 146
Unix & Linux 551 rep 15

2 Votes Cast

all time   by type  
2 up 1 question
0 down 1 answer