HomePage

I’m a Senior R&T Associate at the Luxembourg Institute of Science and Technology (LIST).

My research interests lie mainly in the areas of software analysis and software engineering, with a focus on the interplay between formal methods, software testing and machine learning.

==== Recent Publications ====
Paper at FSE 2024, Porto de Galinhas, Brazil.
Paper at ICSE 2024, Lisbon, Canada.
Paper at ICST 2024, Totonto, Canada.

==== Recent Services ====

PC at the Research Track of the IEEE International Conference on Software Testing (ICST 2024), Canada.
PC at the Software Verification and Testing Track (SVT) of the 39th Annual ACM Symposium on Applied Computing (SAC 2024), Avila, Spain.
PC in the Research and NIER Tracks at the IEEE/ACM Automated Software Engineering (ASE 2023) Conference, Luxembourg.
PC at the 1st IEEE International Workshop on Reliable and Secure AI for Software Engineering (ReSAISE 2023), co-located with ISSRE, Florence, Italy.

Co-Chair of the 19th Wokshop of Mutation Analysis (“Mutation”), May 28th 2024, Toronto, Canada.
Workshops Co-chair of the European joint conferences on Theory and Practice of Software (ETAPS 2024), Luxembourg City, Luxembourg

==== Short Bio ====

I got my PhD in Computer Science in 2015 at the National University of Cordoba, Argentina, under the supervision of Prof. Nazareno Aguirre. My dissertation, entitled as Automated Techniques for the Elaboration, Validation and Verification of Requirements Specifications, presents two automated techniques to assess and improve the quality of software requirements specifications, by exploiting powerful formal analysis mechanisms, such as SAT Solving and model checking.

From 2015 to 2017, I was a Teaching Assistant and a Postdoc at the Department of Computer Science at the National University of Río Cuarto, Argentina.

From 2017 to 2019, I was an Assistant Professor at the Department of Mathematics at the National University of Río Cuarto, Argentina.

Since 2019, I am an Assistant Researcher (currently on leave) at the Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Argentina.

In 2019, I joined the Security Design and Validation research group, SERVAL, at SnT University of Luxembourg. From 2019 to 2022 I was a Postdoc and from 2022 to 2024 a Research Scientist.

In 2024, I joined as a Senior R&T Associate to the Software Engineering RDI Unit research group, leaded by Prof. Jordi Cabot, at the Luxembourg Institute of Science and Technology (LIST).