DB's faceI am a research scientist 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); 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), School of Engineering (Information Technology Engineering). You can find my complete CV here.

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 2018, 33rd IEEE/ACM International Conference on Automated Software Engineering, September 2018, Montpellier, France.
FormaliSE 2018, 2018 International Conference on Formal Methods in Software Engineering, collocated with ICSE 2018, June 2018, Gothenburg, Sweden.
iFM 2018, 14th International Conference on integrated Formal Methods, September 2018, Maynooth, Ireland.
SAC SVT 2018, Software Verification and Testing track at the 33rd ACM/SIGAPP Symposium on Applied Computing, April 2018, Bayonne, France.
ZEUS 2018, 10th Central European Workshop on Services and their Composition, February 2018, Dresden, Germany.


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: 424

View Domenico Bianculli's profile on LinkedIn