Assoc. Prof Domenico BIANCULLI

Domenico Bianculli is an associate professor/chief scientist 2 in software engineering at the University of Luxembourg. He is the head of the Software Verification and Validation (SVV) research group at the Interdisciplinary Centre for Security, Reliability and Trust (SnT).

His main research area is software engineering, with emphasis on the specification, verification and validation of evolvable software systems.

His research career has mainly focused on different aspects of run-time verification for dependable, secure, and compliant software.

His current research interests include run-time verification and monitoring, temporal logics and specification languages, log analysis, program analysis, and regulatory compliance.

He regularly serves as PC member for the main conferences in the area of software engineering and as referee for the most important software engineering journals.

He has been serving on the editorial board of IEEE Transactions on Software Engineering (TSE) since April 2021.

He has supervised (or co-supervised) nine PhD students.

He is deputy study programme director of the Master in Space Technologies and Business (MSTB). He is the course coordinator for “Space Informatics Fundamentals” in the MSTB programme and “Programming Fundamentals 4” in the Bachelor in Computer Science (BICS) programme.

He has more than 12 years of experience in conducting research and technology transfer with industrial partners in the financial, eGovernment, satellite, and mission-critical systems domains, as part of the SnT Partnership Programme.

His article on “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 has also received awards as Distinguished/Outstanding/Best reviewer at the main software engineering conferences. He was recognised as Distinguished Referee of ACM Transactions on Software Engineering and Methodology (TOSEM) for 2017–2018; since then, he has been serving on the board of TOSEM Distinguished Reviewers.

Between 2006 and 2012, he worked as teaching and research assistant at the Faculty of Informatics of the Università della Svizzera italiana (Lugano, Switzerland); from 2009 to 2010 he was visiting researcher at the NASA Ames Research Center (Moffett Field, CA, USA) and an intern at Mission Critical Technologies Inc.

He holds a BSc degree in Computer Engineering and a MSc degree in Computing System Engineering, both from Politecnico di Milano, Italy. He received his PhD degree from Università della Svizzera italiana in July 2012, with a dissertation on “Open-world software: specification, verification, and beyond” under the supervision of Prof. Carlo Ghezzi.