Domenico Bianculli
Institution
University of Luxembourg
Position
Associate professor
Country
Luxembourg
Information
Dr. Domenico Bianculli is an associate professor/chief scientist 2 in software engineering, and the head of the Software Verification and Validation (SVV) research group at the Interdisciplinary Centre for Security, Reliability, and Trust (SnT) of the University of Luxembourg (UL). He is also affiliated with the Department of Computer Science of the Faculty of Science, Technology and Medicine (FSTM) of UL. He is the deputy study program director of the Master in Space Technologies and Business. He holds a PhD degree from Università della Svizzera italiana (Lugano, Switzerland), a MSc in Computing Systems Engineering and a BSc in Computer Engineering, both from Politecnico di Milano (Milan, Italy). His research focuses on the specification and verification of evolvable software systems. His research interests include: run-time verification, temporal logics and specification languages, log analysis, program analysis, and regulatory compliance. He regularly serves as PC member for conferences in the area of software engineering and as referee for the main software engineering journals. Since April 2021 he has been serving as associate editor of IEEE Transactions on Software Engineering.