Silvia Pelozo

Assistant Teacher
text hidden; JavaScript is required / home page

Silvia has started her PhD in 2010, under the supervision of Pedro R. D'Argenio. Her interests are in the development and application of formal methods to the quantitative verification of dependable systems, in particular, probabilistic model checking techniques for distributed systems.
She is also part of the teaching staff of the Computer Science Section since March 2011.

Before joining the group, she worked as freelance and in-house software developer for several organizations, and she held teaching positions at Universidad Nacional del Nordeste (in the Facultad de Ciencias Exactas), getting involved in various undergraduate courses and outreach projects of the departments of Mathematics and Informatics.
She got her degree of Licenciada en Sistemas in 2007 at that University.


S. S. Pelozo and D'Argenio, P. R., Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability, in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers, 2013, vol. 8191, pp. 182-197.PDF icon paper-304.pdf (329.79 KB)
Powered by Drupal