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:

C. E. Budde, D'Argenio, P. R. , Sánchez Terraf, P. , and Wolovick, N. , 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, A. Remke and D'Argenio, P. R. , Eds. Springer Berlin Heidelberg, 2014, pp. 67-86.PDF icon paper-513.pdf (976.31 KB)
P. Sánchez Terraf, Bisimilarity is not Borel, ArXiv e-prints, 2012.
P. R. D'Argenio, Sánchez Terraf, P. , and Wolovick, N. , Bisimulations for non-deterministic labelled Markov processes, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012.PDF icon paper-39.pdf (250.46 KB)
P. Sánchez Terraf, Unprovability of the logical characterization of bisimulation, Information and Computation, vol. 209, pp. 1048-1056, 2011.
P. Sánchez Terraf, Boolean factor Congruences and Property (*), International Journal of Algebra and Computation, vol. 21, pp. 931-950, 2011.
P. Sánchez Terraf and Vaggione, D. , Varieties with Definable Factor Congruences, Trans. Amer. Math. Soc., vol. 361, pp. 5061–5088, 2009.

Pages