Pedro Sánchez Terraf |
 |
|
Senior Lecturer (Profesor Asociado)
Researcher CONICET (Adjunto)
|
Pedro Sánchez Terraf obtained the MS degree (Licenciatura) in Mathematics at the Universidad Nacional de Córdoba (Argentina) in 2001. He also did his PhD in Mathematics at the same university under the supervision of Diego Vaggione, in Universal Algebra (2007).
Currently, Pedro is reviewer for Zentralblatt MATH and his research interests concern both Markov Decision Processes and Universal Algebra (with connections with modal logic).
Publications:
, “Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization”, in QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, pp. 11-20.
paper-16.pdf (525.46 KB)
paper-16.pdf (525.46 KB) , “Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids”, Order, vol. 25, pp. 377-386, 2008.