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
- Implementazione e visualizzazione di alberi di deduzione naturale in Lean a supporto della didattica della logica
- Type Checking in Rust per il kernel di Lean 4
