Assoc. Prof Domenico BIANCULLI

Domenico Bianculli is Associate Professor and Chief Scientist 2 in Software Engineering at the University of Luxembourg. He heads the Software Verification and Validation (SVV) research group at the Interdisciplinary Centre for Security, Reliability and Trust (SnT).

He is also Deputy Study Programme Director of the Master in Space Technologies and Business (MSTB).

His research focuses on software engineering, with particular emphasis on the specification, verification and validation of evolvable software systems.

His work spans three main areas. The first covers verification and validation of software systems, including specification languages, runtime monitoring, verification of cyber-physical systems, program analysis for security, software testing, formal methods, and quantum software engineering. The second area addresses log analysis, including log parsing, log quality, model inference, anomaly detection, and AIOps. The third focuses on requirements engineering, with particular attention to regulatory compliance.

He regularly serves as programme committee member for leading software engineering conferences and as referee for major journals in the field. He served as Associate Editor of IEEE Transactions on Software Engineering from 2021 to 2025 and has been Associate Editor of ACM Transactions on Software Engineering and Methodology since December 2025.

He has supervised or co-supervised nine PhD students.

He teaches at bachelor’s and master’s level across several study programmes. He coordinates “Space Informatics Fundamentals” in the Master in Space Technologies and Business, “Log Analysis” in the Master in Cybersecurity and Data Science, and “Programming Fundamentals 4” in the Bachelor in Computer Science.

He contributes to doctoral training through supervision and research mentoring.

He has more than thirteen years of experience in collaborative research and technology transfer with industrial partners in the financial, eGovernment, satellite, and mission-critical systems domains.

As part of the SnT Partnership Programme, he works closely with industry to translate research results into practical solutions.

He has received several awards for his research and reviewing activities at leading international conferences and journals in software engineering.

These include the Distinguished Reviewer Award at the 46th International Conference on Software Engineering (ICSE 2024), the 40th International Conference on Software Maintenance and Evolution (ICSME 2024), the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022), and the 41st International Conference on Software Engineering (ICSE 2019).

He received the Outstanding Reviewer Award at the 39th International Conference on Software Engineering (ICSE 2017) and was recognised as Outstanding Reviewer for Elsevier The Journal of Systems and Software in January 2017. He was also named Distinguished Referee for ACM Transactions on Software Engineering and Methodology (2017–2018).

His paper “Efficient large-scale trace checking using MapReduce” received the ACM SIGSOFT Distinguished Paper Award at the 38th International Conference on Software Engineering (ICSE 2016).

He also received the Best Reviewer Award at the Working IEEE/IFIP Conference on Software Architecture (WICSA) and CompArch 2016, and at the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015).

Between 2006 and 2012, he was Teaching and Research Assistant at the Faculty of Informatics of the Università della Svizzera italiana in Lugano, Switzerland. During this period, he was Visiting Researcher at NASA Ames Research Center in Moffett Field, California (2009–2010) and intern at Mission Critical Technologies Inc.

He joined the University of Luxembourg in August 2012 as Research Associate. He was appointed Research Scientist in August 2016 and promoted to Associate Professor and Chief Scientist 2 in May 2020.

He holds a BSc in Computer Engineering and an MSc in Computing Systems Engineering from Politecnico di Milano, Italy.

He obtained his PhD from the Università della Svizzera italiana in July 2012. His doctoral dissertation, entitled “Open-world software: specification, verification, and beyond”, was supervised by Prof. Carlo Ghezzi.