Busy week for the SNAIL team at the International Conference on Software Testing (ICST) 2023! First presentation of his work by Martin Balfroid at the TestEd workshop. It was an opportunity to meet experts from the software verification and validation community and to discuss the latest advances in the field.
On February 10th, Professor Cynthia Liem from the Delft University of Technology (TU Delft) in the Netherlands visited us at the Computer Science Faculty. This was an opportunity to talk about her research on verification and validation of machine learning models in different contexts and the fundamental questions this raises.
Two PhD students from the faculty each won a best poster award at the 3rd edition of Women and Girls in Science! One of the two is Guillaume Nguyen, PhD student of the SNAIL team and funded by the CyberExcellence project of the Walloon region.
On Monday, January 9, 2023, the faculty welcomed FORMaNAM and Interface3.Namur for the official launch of the project Gender Equals Future: 011 for IT, which is part of the Woman In Digital plan of the SPF Economie.
A bitter cold, but a good atmosphere for an intense week! The presentations of the CyberWal in Galaxia Winterschool continued all week from December 13 to 16, 2022 at the Eurospace center in Redu.
Last week was the first edition of the Greater Region Software Engineering Research Days (SOFTER), organised in Namur. It was the occasion for researchers from the Serval team of the SnT, University of Luxembourg ,and researchers from the VERTIGO and SNAIL teams of the Namur Digital Institute (NaDI), University of Namur, to meet and discuss during two days around testing and verification, machine learning robustness, architecture quality assurance, code analysis, and machine learning for industry 4.
Version française : https://nouvelles.unamur.be/upnews.2021-10-18.2189995459/view.
Last Monday and Tuesday 11 and 12 October 2021 took place the 13th edition of the Symposium on Search-Based Software Engineering (SSBSE ’21). This symposium is held every year and brings together specialists in evolutionary computation applied to software engineering (SBSE).