5,788 reputation
2147
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 3 months
seen Jul 9 at 18:23

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.


5,788 Reputation

10 Aug 2 '11
10 Jul 29 '11
40 Jul 23 '11
30 Jul 22 '11
10 Jul 21 '11
10 Jul 13 '11
10 Jul 10 '11
10 Jul 8 '11
50 Jul 6 '11
40 Jul 5 '11
10 Jul 4 '11
10 Jun 29 '11
10 Jun 24 '11
30 Jun 22 '11
20 Jun 14 '11
10 Jun 10 '11
10 Jun 3 '11
10 May 18 '11
20 May 14 '11
5 May 12 '11
15 May 10 '11
110 May 9 '11
10 May 7 '11
10 Apr 25 '11
10 Apr 21 '11
10 Apr 20 '11
18 Apr 16 '11
15 Apr 15 '11
10 Apr 14 '11
10 Apr 6 '11