Skip to content

Free University of Bozen-Bolzano

Researchers with a fixed-term contract | Software Engineering

Matteo Camilli

+39 0471 016179

Faculty of Computer Science
Dominikanerplatz 3 - piazza Domenicani, 3
Office hours
Tuesday, 10:00 - 12:00
Arrange by email

Short bio

Matteo received the PhD degree in Computer Science from the University of Milan in 2015. His current research activity focuses on Formal Methods and Software Engineering. He is currently a member of the Software and Systems Engineering Research Group (SwSE) of the Free University of Bozen-Bolzano. 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.


PhD course/seminar 2nd year

71048 · PhD Computer Science - 2017 · EN

Systems Engineering

76226 · INF/01 · L-31 Computer Science - 2017 · EN

Verification and Reliability for Dependable Systems (FSE)

76058 · INF/01 · LM-18 SEIS · EN

Main Research Areas

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


Relevant Links

This content cannot be accessed due to your cookies preferences. Please change your consent to view it.

Feedback / Request info