| Topic | People | Description |
|---|---|---|
| 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. |
| Software Verification |
Maria Paola Bonacina
|
Decision procedures for satisfiability modulo theories and assignments and their application to reasoning about programs; invariant generation, interpolation, and abstraction refinement (for either model checking or static analysis) via theorem proving |
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>
