news

Apr 27, 2023 Nazareno Aguirre becomes Associate Editor of IEEE Transactions on Software Engineering.
Mar 31, 2023 The research paper “Automated Repair of Unrealisable LTL Specifications Guided by Model Counting” (by M. Brizzio, R. Degiovanni, M. Cordy, M. Papadakis, S. Sánchez and N. Aguirre) has been accepted for publication at the Genetic and Evolutionary Computation Conference GECCO 2023.
Mar 1, 2023 Nazareno Aguirre becomes Visiting Associate Professor at Guangdong Technion - Israel Institute of Technology.