Pablo Castro's Homepage

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 will have a new webpage in a few weeks.

Contact Information

Address: Facultad de Ciencias Exactas, Fisico-Quimicas y Naturales,
Universidad Nacional de Rio Cuarto,
Ruta Nacional No. 36, Km. 601,
Rio Cuarto, Argentina.
CP X5804BYA
Email: castropf AT mcmaster.ca
or
pcastro AT dc.exa.unrc.edu.ar
Office: IT 223
Phone: (905)-525-9140 ext:23101
photo

Research

I am using deontic logics (and related formalisms) to reason about fault-tolerance and related concepts.

Publications