Skip to content

Free University of Bozen - Bolzano

Forscher mit Zeitvertrag | Software Engineering

Matteo Camilli

Matteo.Camilli@unibz.it

+39 0471 016179

Fakultät für Informatik
Dominikanerplatz 3
39100
Bozen
Sprechstunden
Dienstag, 10:00 - 12:00
Arrange by email

Short bio

Matteo received the PhD degree in Computer Science from the University of Milan in 2014. His dissertation focused on the combination of advanced abstraction techniques and big data approaches to tackle the state explosion problem in formal verification. His current research activity focuses on Formal Methods and Software Engineering. He is especially interested in: uncertainty quantification in software development; model-based testing techniques; methods and tools to improve dependability of adaptable and evolvable time-dependent applications. He publishes papers in international journals and in proceedings of international conferences. He serves as member of the program committee of international conferences.

Lehrveranstaltungen

Development of Data Products

73007 · INF/01 · Master in Computational Data Science · EN

Verification and Reliability for Dependable Systems (FSE)

76058 · INF/01 · Masterstudiengang in Software Engineering für Informationssysteme (LM-18) · EN

Forschungsschwerpunkte

Software Engineering, Formal Methods, Model-based Testing, Uncertainty quantification, Runtime Verification

Publikationen

Hilfreiche Links

Feedback / Infoanfrage