This event will be online by Microsoft Teams
February 9th, 2022
2.00 pm
Abstract
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