Publications          Teaching         

---

• Computer Science Phd student.

• Teaching Assistant at the Computer Science Department, University of Rio Cuarto.

---

About Me

I am a CONICET funded PhD student at the Software Engineering and Formal Methods Group working under the supervision of Professor German Regis.

---

Service

• FM 2023 Artifact Evaluation Commitee.
• iFM 2023 Artifact Evaluation Commitee.

---

News

Our paper “A Study of the Electrum and DynAlloy Dynamic Behavior Notations” has been accepted for publication in IEEE Transactions on Software Engineering.

Our paper “An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding” has been accepted for publication at 10th International Conference on Rigorous State-Based Methods (ABZ2024)

---