meta user
network profile
| bio | website | coldattic.info |
|---|---|---|
| location | San Francisco, CA | |
| age | 25 | |
| visits | member for | 3 years, 3 months |
| seen | Dec 7 '12 at 1:14 | |
| stats | profile views | 1 |
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 asked any questions
|
Stack Overflow | 25,543 rep | 546111 |
|
Programmers | 5,544 rep | 1644 |
|
Meta Stack Overflow | 1,526 rep | 1616 |
|
TeX - LaTeX | 373 rep | 136 |
|
Area 51 | 206 rep | 14 |
This user has no active bounties
14 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 14 | up | 9 | question | ||
| 0 | down | 5 | answer | ||
