Domenico Bianculli

Domenico Bianculli is an Associate Professor and Chief Scientist 2 at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. He leads the Software Verification and Validation (SVV) research group and is affiliated with the Department of Computer Science in the Faculty of Science, Technology and Medicine (FSTM). Additionally, he serves as the deputy study program director for the Master in Space Technologies and Business.

Dr. Bianculli earned his PhD from the University of Lugano (Switzerland) under Carlo Ghezzi, with a dissertation titled "Open-world software: Specification, Verification, and Beyond." He also holds a MSc in Computing Systems Engineering and a BSc in Computer Engineering from Politecnico di Milano (Italy).

His research focuses on the specification, verification and validation of software systems, particularly evolvable software systems. His work spans trace checking and run-time verification of temporal properties, modeling access control policies, program analysis for security, incremental verification techniques, and verification of service-oriented systems. Dr. Bianculli bridges theoretical foundations with practical applications in cyber-physical systems, financial technology, and regulatory compliance.

His recent publications reveal a strong trend toward applying machine learning to software engineering challenges, particularly in log analysis, anomaly detection, and automated compliance checking. He has made significant contributions to verifying cyber-physical systems through techniques for stress testing control loops and trace diagnostics for signal-based temporal properties. His work increasingly addresses financial technology challenges, with papers focusing on automated regulatory compliance related to GDPR and financial regulations.

• ACM SIGSOFT Distinguished Paper Award for "Efficient large-scale trace checking using MapReduce" (ICSE 2016)
• Nomination for the best paper award for "SMT-based checking of SOLOIST over sparse traces" (FASE 2014)

Dr. Bianculli leads multiple significant research projects including KITS24/19067232 "SnT-R2S" funded by FNR Luxembourg, LOGODOR "Automated Log Smell Detection and Removal" funded by FNR's CORE scheme, and several financial regulation projects including AFRICA, ICCOFIDO, and RUMOFA. His research has been supported by national funding agencies and industry partnerships with CSSF Luxembourg, HITEC Luxembourg, BGL BNP Paribas, and LuxSpace.

As head of the SVV research group at SnT, Dr. Bianculli oversees a team developing advanced techniques for software specification, verification, and validation. His group works on theoretical foundations and practical applications, with current projects addressing challenges in cyber-physical systems, financial technology, and regulatory compliance. The group maintains strong collaborations with industry partners in the financial sector and space technology domains.