I’m a Research Scientist at the SnT, University of Luxembourg.
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 ISSRE’23, Florece, Italy.
Paper at TSE’23.
Paper at GECCO’23, Lisbon, Portugal.
Paper at AST’23, Melbourne, Australia.
Paper at FASE’23, Paris, France.
==== 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.
Workshops Co-chair of the European joint conferences on Theory and Practice of Software (ETAPS 2024), Luxembourg City, Luxembourg
Co-Chair of the 18th Wokshop of Mutation Analysis (“Mutation”), Apr 16th 2023, Dublin, Ireland.
==== 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.