PhD Candidate · Computer Science
Researcher at UBA & CONICET working on synthesis algorithms for discrete event systems, blending formal methods with machine learning.
I am a PhD candidate in Computer Science at the University of Buenos Aires (UBA) and CONICET, working at the Laboratory on Foundations and Tools for Software Engineering (LaFHIS). My research sits at the intersection of formal methods and machine learning — specifically, I develop generalized synthesis algorithms for discrete event systems, exploring how AI heuristics can improve controller synthesis for adaptive systems.
Before returning to academia, I spent a year and a half as a Software Engineer at Mercado Libre, building AB-testing infrastructure and data analysis tools at scale. Prior to that, I interned at Microsoft on the open-source Windows Package Manager (winget), implementing dependency management from the client side.
Teaching is something I hold close to my heart. Since 2017 I've been a teaching assistant at UBA's Computer Science Department, supporting students across courses from algorithms and data structures to software engineering. Giving back to a community that shaped me is one of the most rewarding parts of my work.
My interests span algorithms, automata and graph theory, AI, and game development — I'm always drawn to projects where rigour meets creativity.
For a full list of publications see my Google Scholar profile →
Generalized synthesis algorithms for directed controllers, on-the-fly composition, and heuristic-guided exploration of state spaces in parallel automata.
Integrating machine learning to improve heuristic functions in automated synthesis, applied to requirements engineering and adaptive systems.
Interested in research collaborations, open source projects, or just want to talk about algorithms and automata? I'd love to hear from you.