Background

I am a Ph.D student at the chair of Holger Hermanns since November 2010.

I was born in Buenos Aires, the land of Tango. I studied computer science at Universidad Nacional de Córdoba, one of the oldest universities in the Americas (401 years and counting). I graduated as Licenciado en Ciencias de la Computación in March 2010.

Interests

• probabilistic model checking
• termination of probabilistic programs
• abstract interpretation
• timed automata
• partial order reduction

Contact

Publications

• Synthesizing probabilistic invariants via Doob’s decomposition
  with Gilles Barthe, Thomas Espitau and Justin Hsu: CAV 2016. [preprint] (to appear)
• Probabilistic CTL*: The Deductive Way
  with Rayna Dimitrova, Holger Hermanns and Rupak Majumdar: TACAS 2016. [doi]
• Probabilistic Termination: Soundness Completeness, and Compositionality
  with Holger Hermanns: POPL 2015. [doi] (Open Access)
• Abstraction-based Computation of Reward Measures for Markov Automata
  with Bettina Braitling, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns. VMCAI 2015. [doi]
• MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
  with Bettina Braitling, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns. QAPL 2014. [doi]
• Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms.
  with Sergio Giro and Pedro D’Argenio. Theoretical Computer Science 2014. [doi]
• Variable Probabilistic Abstraction Refinement
  with , Ernst Moritz Hahn, Holger Hermanns and Björn Wachter. ATVA 2012. [doi]
• Heuristics for Probabilistic Timed Automata with Abstraction Refinement
  with Holger Hermanns. MMB/DFT 2012. [doi]
• Partial Order Methods for Statistical Model Checking and Simulation
  with Jonathan Bogdoll, Arnd Hartmanns and Holger Hermanns. FMOODS/FORTE 2011. [doi]
• Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
  with Sergio Giro and Pedro D’Argenio. CONCUR 2009. [doi]