Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Discussione sull’integrazione di strumenti di verifica formale nella programmazione quotidiana
- Type Checking in Rust per il kernel di Lean 4
- Una webapp per dimostrazioni in deduzione natuale per la logica del
primo ordine
