Università degli Studi di Padova

Bando n. 5/2022 per il conferimento di n.1 borsa di ricerca dal titolo: “Verifica formale di modelli di apprendimento automatico / Formal Verification of Machine Learning Models

Graduatoria

Bando di selezione n. 5/2022 per il conferimento di n. 1 borsa di ricerca dal titolo: “Verifica formale di modelli di apprendimento automatico / Formal Verification of Machine Learning Models” da svolgersi presso il Dipartimento di Matematica “Tullio Levi-Civita” – responsabile scientifico Francesco Ranzato.