I 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
ASYDE 2019, International Workshop on Automated and Verifiable Software System Development, collocated with SEFM 2019, September 2019, Oslo, Norway.ESEC/FSE 2019, 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2019, Tallin, Estonia.
ICSOC 2019, 17th International Conference on Service Oriented Computing, October 2019, Toulouse, France.
OCL 201919th International Workshop in OCL and Textual Modeling, September 2019, Munich, Germany.
Contact
Domenico Bianculli
SnT Centre - Université du Luxembourg
29 Avenue J.F. Kennedy
L-1855 Luxembourg
Luxembourg
phone: +352 46 66 44 5328
email: bianculli__AT__svv__DOT__lu,domenico__DOT__bianculli__AT__uni__DOT__lu
room: 105
