5,539 reputation
1645
bio website coldattic.info
location San Francisco, CA
age 25
visits member for 2 years, 8 months
seen 2 days ago
stats profile views 361

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.


54
× 2
40
× 2
48
× 3
27
× 2
45
× 2
27
44
24
40
× 2
23
× 5
Stack Overflow Stack Overflow 25,708 rep 546112
Programmers Stack Exchange Programmers 5,539 rep 1645
Meta Stack Overflow Meta Stack Overflow 1,526 rep 1616
TeX - LaTeX Stack Exchange TeX - LaTeX 378 rep 136
Area 51 Area 51 206 rep 14

879 Votes Cast

all time   by type  
743 up 359 question
136 down 520 answer