| Argomento | Persone | Descrizione |
|---|---|---|
| Lambda Calculus |
Margherita Zorzi
|
Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. |
| Logiche non classiche (intuizionista, lineare, modale, temporale) |
Davide Bresolin
|
|
| modal and temporal logics |
Margherita Zorzi
|
Proof theoretical analysis of modal and temporal logics. Modal and temporal logics for security. Distribute logics. Branching a linear temporal logics. |
| Verifica del software |
Maria Paola Bonacina
|
Procedure di decisione per la soddisfacibilità modulo teorie e assegnamenti, e loro applicazione alla verifica di proprietà di programmi; generazione di invarianti, generazione di interpolanti, e raffinamento di astrazioni (per model checking o analisi statica) mediante dimostrazione di teoremi |
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
