DB's faceI 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 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

FormaliSE 2024, International Conference on Formal Methods in Software Engineering, co-hosted by ICSE 2024, April 2024, Lisbon, Portugal.
FSE 2024, Foundations of Software Engineering, July 2024, Porto de Galinhas, Brazil.
ICSE 2024, 46th International Conference on Software Engineering, April 2024, Lisbon, Portugal.
ICSME 2024, 40th International Conference on Software Maintenance and Evolution, October 2024, Flagstaff, AZ, USA.


Domenico Bianculli
SnT Centre - Université du Luxembourg
29 Avenue J.F. Kennedy
L-1855 Luxembourg

phone: +352 46 66 44 5328
email: domenico__DOT__bianculli__AT__uni__DOT__lu
room: 105

View Domenico Bianculli's profile on LinkedIn