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 mcmaster.ca

                             or

            pcastro AT dc.exa.unrc.edu.ar

 

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 .

Contact:

Interests:

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