I am an associate
professor/chief scientist 2 in software engineering in the Software Verification and
Validation Laboratory (SVV), led by prof. Lionel Briand, 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
ASE 2023, 38th IEEE/ACM International Conference on Automated Software Engineering, September 2023, Luxembourg, Luxembourg.FASE 2023, 26th International Conference on Fundamental Approaches to Software Engineering, April 2023, Paris, France.
New Ideas and Emerging Result (NIER) and Workshops tracks at the 45th International Conference on Software Engineering (ICSE 2023), May 2023, Melbourne, Australia.
ISSTA 2023, 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2023, Seattle, WA, USA.
RV'23, 23rd International Conference on Runtime Verification, October 2023, Thessaloniki, Greece.
ICSE 2024, 46th International Conference on Software Engineering, April 2024, Lisbon, Portugal.
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
