Close

Presenter

Michele Chiari
Biography
Michele Chiari is a PhD candidate at Politecnico di Milano, where he earned his MSc in 2018. His research interests cover formal methods, focusing on temporal logic in particular, and software verification. He is also interested in approximate computing and its intersection with formal methods.
Presentations
Research Manuscript
Embedded Systems
Embedded Software
Hosted in Virtual Platform