I identify intellectually as a computer scientist and a logician. My research areas include program verification, static analysis, logic. I have an enduring interest in formal languages, automata theory, linguistics and Bayesian reasoning.
5 Philosophical justifications for the assumption of a non-empty domain in classical first-order logic? jan 8 '13
1 Are there practical advantages of knowing more advanced forms of logic, as opposed to just classical logic? mar 15 '13