603 reputation
156
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 4 months
seen Jan 20 '13 at 9:26

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.


2d
awarded  Yearling
Jul
12
awarded  Yearling
Oct
15
awarded  Famous Question
Jun
21
awarded  Good Question
Jan
3
awarded  Notable Question
Aug
4
awarded  Yearling
May
12
awarded  Popular Question
Nov
1
awarded  Nice Question
Aug
19
awarded  Scholar
Aug
19
accepted What is “TeX daemon” and why and how is it used?
Aug
5
asked What is “TeX daemon” and why and how is it used?
Aug
4
awarded  Student
Aug
4
comment What font package do I use to get the vertical Russan/German style integral signs?
I have recently graduated from a Russian university. I never seen a "Russian" integral; instead, the integral symbol used here in books and handwritings is "German". I've just checked a couple of Russian math books published in 80's, and they use German variant too. So, perhaps, German style would be enough for you.
Aug
4
asked How to typeset subscript in usual text mode?
Aug
3
awarded  Autobiographer
Aug
3
awarded  Supporter