Domenico Bianculli is associate professor/chief scientist 2 at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, where he heads the Software Verification and Validation (SVV) research group. He holds a PhD degree from Università della Svizzera italiana (Lugano, Switzerland). 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.