HomePage

I’m a Research Scientist at the SnT, University of Luxembourg.

My research interests lie in the area of Software Engineering with particular focus on Requirements Engineering and Software Testing.


==== Recent News ====
PC in the Research and NIER Tracks at the IEEE/ACM Automated Software Engineering (ASE 2023) Conference, Luxembourg.
Co-Chair of the 18th Wokshop of Mutation Analysis (“Mutation”), Apr 16th 2023, Dublin, Ireland.

Paper at TSE’23.
Paper at GECCO’23, Lisbon, Portugal.
Paper at AST’23, Melbourne, Australia.
Paper at FASE’23, Paris, France.
Paper at EMSE’22 – JF at ICSE 2023, Melbourne, Australia.


==== 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.

Since 2017, I am an Assistant Professor (currently on leave) 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.

Since 2019, I joined the Security Design and Validation research group, SERVAL, at SnT University of Luxembourg. Since then, I have been a Postdoc and since 2022 a Research Scientist.