Ph.D. in Information Technology: Thesis Defense
Sommario
The PhD Program in Information Technology is pleased to announce the following defense for our Doctoral student:
February 9th, 2022, DEIB at 2.00 pm (this event will be online by Microsoft Teams)
Michele CHIARI– XXXIV Cycle
"Temporal Logic and Model Checking for Operator Precedence Languages: Theory and Applications"
Advisor: Prof. Dino Mandrioli
PhD Committee:
Prof. Letizia Tanca, Politecnico di Milano
Prof. Manfred Droste, Università di Lipsia
Prof. Adriano Peron, Universita' di Napoli
