Esteban Pavese

Esteban Pavese

Phd. Student @ LaFHIS, DC, FCEyN, Universidad de Buenos Aires


Esteban Pavese

I've moved to Humboldt Universität zu Berlin!

I did my Ph.D studies at Computer Science Department, School of Sciences, University of Buenos Aires, at LaFHIS: The Tools and Foundations for Software Engineering Lab; and was also teaching there since 2001. You can mail me at "e<lastname>"


My research interests are mainly focused towards the formal aspects of software engineering. In particular I'm mostly interested in model checking; behavioural modeling and its description logics; uncertainty modelling and probabilistic modelling and verification; statistical testing and simulation; and source code model checking and analysis. I've also spent time as an undergrad working on real-time model checking. My Masters' thesis was focused on extending the real-time model checker Zeus, itself the successor of the model checker Kronos.

My Ph.D. Advisors



As part of my M.Sc. thesis, I worked on the real-time model checker Zeus, which is part of the VInTiMe tool suite.

I've been working on adding probabilistic extensions to the MTSA model checker.

During my 2010 internship at Microsoft Research, I was involved with the Boogie Bytecode Translator project, and a tool built on top of it for Windows Phone apps verification. I should be going back to this project sometime soon but it remains on the back burner :(.


I've been teaching at Universidad de Buenos Aires since 2000.





Undergraduate Students

Some research topics suitable for undergrad students looking for working on their thesis can be found here. Please contact me if you're interested in any of them.

Current students:

  • Tomás Rossi
  • Julián Cañada Racinet

Previous students:

  • 2009 - Gervasio Pérez (co-advised with F. Schapachnik)
  • 2013 - Fernando Paulovsky (co-advised with D. Garbervetsky)
  • 2015 - Pablo Nussembaum & María Bonfiglio (co-advised with H. Czemerinski)

GLAPV: Our incipient reading group in Program Analysis and Verification (currently in spanish) GLyC: Logic and Computability Research Group RFM: Relational Formal Methods Research Group If you wish, you may also contact me through Facebook and Twitter. You may also find research oriented information on my Mendeley and ResearchGate profiles.

Find Me On...

Upcoming events I'm assisting

    Latest News