Home - Pablo Ponzio

Pablo Ponzio

Computer Science Professor & Researcher, National University of Rio Cuarto & CONICET

Software Engineering Automated Analysis Software Testing Lightweight Formal Methods Software Specification & Modelling

About Me

I am an Assistant Professor at the National University of Rio Cuarto (UNRC), and an Associate Researcher at CONICET. I am based in Río Cuarto, Córdoba, Argentina. At UNRC, I am a member of the Formal Methods & Software Engineering Group (MFIS) lead by Nazareno Aguirre (my former supervisor).

My research area is Software Engineering. My primary focus is on developing approaches and tools to help programmers improve the reliability of the software they produce. I am particularly interested in software analysis approaches with strong formal foundations that can be automated via software tools and require a relatively small effort from the user.

My topics of interest include: Automated Analysis, Software Testing, Lightweight Formal Methods, Software Specification and Modelling, among others.

My work has been published in top-tier computer science venues such as ICSE, ASE, FSE, and OOPSLA. With over 20 years of experience in higher education, I have taught numerous undergraduate and graduate courses on computer science, supervised several Ph.D. students, and over ten undergraduate master theses.

I hold a Ph.D. in Computer Science from the University of Buenos Aires (UBA), and a B.S. in Computer Science (Licenciatura) from the National University of Rio Cuarto (UNRC).