I am member of the academic staff of the Department of Computing at the Universidad Nacional de Rio Cuarto (Argentina). I did my PhD at McMaster University under the supervision of Tom Maibaum . I am interested in software specification and verification, modal and temporal logics, deontic logics and category theory. I have a new webpage
I am using deontic logics (and related formalisms) to reason about fault-tolerance and related concepts.