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.
Programmers
Q&A for professional programmers interested in conceptual questions about software development
Meta Stack Overflow
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
TeX - LaTeX
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Area 51
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Server Fault
Q&A for professional system and network administrators
English Language & Usage
Q&A for linguists, etymologists, and serious English language enthusiasts
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
