Recent publications include papers at ASE 2025 Industry Track, NFM 2025, FSE 2024, and ICSE 2024. Also involved in program committees for several international conferences such as ASE 2025 Research Track, ICSE 2025 Workshops Track, etc., and co-chaired the 19th Workshop of Mutation Analysis ('Mutation') in May 2024, Toronto, Canada, and ETAPS 2024 Workshops in Luxembourg City, Luxembourg.
Research Experience
From 2015 to 2017, worked as a Teaching Assistant and Postdoc at the Department of Computer Science, National University of Río Cuarto, Argentina. From 2017 to 2019, served as an Assistant Professor at the Department of Mathematics, National University of Río Cuarto, Argentina. Since 2019, has been an Assistant Researcher (currently on leave) at CONICET, Argentina. Joined SERVAL, Security Design and Validation research group at SnT University of Luxembourg in 2019, where he was a Postdoc until 2022 and then a Research Scientist until 2024. In 2024, joined as a Senior Research and Technology Scientist to the Software Engineering RDI Unit, led by Prof. Jordi Cabot, at the Luxembourg Institute of Science and Technology (LIST).
Education
Obtained PhD in Computer Science from the National University of Cordoba, Argentina, in 2015 under the supervision of Prof. Nazareno Aguirre. The dissertation was titled 'Automated Techniques for the Elaboration, Validation, and Verification of Requirements Specifications'.
Background
Main research interests lie in the areas of software analysis and software engineering, with a focus on the interplay between formal methods, software testing, and machine learning.