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:
“A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems”, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, Springer Berlin Heidelberg, 2014, pp. 67-86. paper-513.pdf (976.31 KB) ,
“Bisimilarity is not Borel”, ArXiv e-prints, 2012. ,
“Bisimulations for non-deterministic labelled Markov processes”, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012. paper-39.pdf (250.46 KB) ,
“Unprovability of the logical characterization of bisimulation”, Information and Computation, vol. 209, pp. 1048-1056, 2011. ,
“Boolean factor Congruences and Property (*)”, International Journal of Algebra and Computation, vol. 21, pp. 931-950, 2011. ,
“Varieties with Definable Factor Congruences”, Trans. Amer. Math. Soc., vol. 361, pp. 5061–5088, 2009. ,