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