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.
Q&A for professional and enthusiast programmers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems
Q&A for professional mathematicians
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for system and network administrators
Q&A for computer enthusiasts and power users
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for theoretical computer scientists and researchers in related fields