Michele
Chiari

Michele Chiari promovierte summa cum laude am Politecnico di Milano, Italien. Er arbeitet an formalen Methoden mit Anwendungen für die Softwareüberprüfung und das approximative Rechnen und veröffentlicht in renommierten Fachzeitschriften wie zu den Konferenzen CAV und DAC sowie in den Zeitschriften Theoretical Computer Science und Logical Methods in Computer Science. Auf der ECOOP 2022 erhielt er die Auszeichnung Distinguished Artifact Reviewer. Vor kurzem wurde er mit dem renommierten Marie Skłodowska-Curie Actions Postdoc-Stipendium ausgezeichnet und wird das von der EU finanzierte Projekt CORPORA leiten, dessen Ziel die Entwicklung neuartiger Werkzeuge für die Verifikation rekursiver probabilistischer Programme ist.