About me

My name is Ignacio Tiraboschi, born and raised in Argentina.

• Currently, I work at Eclypsium.
• I completed my PhD in 2024 at ENS Paris, under the supervision of Xavier Rival and Tamara Rezk.

Timeline

• Detection Infrastructure Engineer

  Eclypsium, inc.

  At Eclypsium, my goal is to develop infrastucture for the detection of bugs.

• PhD in Computer Science

  École normale supérieure, Paris, France

  “Intertwining Symbolic Execution and Abstract Interpretation for the Analysis of Security Properties”.

• Licenciatura (BS+MS) in Computer Science

  Universidad Nacional de Córdoba, Argentina

• Research internship

  MPI-SWS, Saarbrucken, Germany

  Internship at MPI with Derek Dreyer.