Pablo’s Homepage


Address: Facultad de Ciencias Exactas, Físico Químicas y Naturales,Universidad Nacional de Rio Cuarto,Ruta Nacional No. 36, Km. 601, Rio Cuarto, Argentina. CP X5804BYA

Email: castropf AT


            pcastro AT


I am member of the academic staff of the Department of Computing at the Universidad Nacional de Rio Cuarto (Argentina) and Assistant Researcher at CONICET (Argentinean Research Council). I did my PhD at McMaster University under the supervision of Tom Maibaum .



Software Specification and Verification, Modal and Temporal Logics, Deontic Logics and Category Theory.