I am 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 ICT
Security, Reliability, and Trust (SnT) of the University of Luxembourg (UL).
I am also affiliated with the
Department of Computer Science of the Faculty of Science, Technology
and Medicine (FSTM) of UL.
I am the deputy study program director of the Master in Space Technologies and Business.
I did my PhD under the supervision of Carlo Ghezzi at the Faculty of Informatics, Università della Svizzera Italiana (USI), Switzerland; my PhD dissertation was titled: “Open-world software: Specification, Verification, and Beyond”. I hold a BSc in Computer Engineering and a MSc in Computing Systems Engineering, both from Politecnico di Milano , Italy.
Full CV
My research area is software engineering, with particular emphasis on the specification, verification and validation of software systems.
Scientific events I am currently involved in
DIGHUM-RES 2025, Digital Humanism - Interdisciplinary Science and Research Conference, November 2025, Vienna, AustriaSEFM 2025, 23rd International Conference on Software Engineering and Formal Methods, November 2025, Toledo, Spain FinanSE 2026, 3rd International Workshop on AI Solutions for Software Engineering Challenges in Financial Firms, collocated with ICSE 2026, April 2026, Rio de Janeiro, Brazil.
FormaliSE 2026, 2026 International Conference on Formal Methods in Software Engineering, collocated with ICSE 2026, April 2026, Rio de Janeiro, Brazil.
FSE 2026, 2026 Foundations of Software Engineering conference, July 2026, Montreal, Canada.
RE 2026, 34th IEEE International Requirements Engineering 2026, August 2026, Montreal, Canada.
Contact
Domenico Bianculli
SnT Centre - Université du Luxembourg
29 Avenue J.F. Kennedy
L-1855 Luxembourg
Luxembourg
phone: +352 46 66 44 5328
email: domenico__DOT__bianculli__AT__uni__DOT__lu
room: 105
