Università degli Studi di Padova

Bando n.17/2021 per n. 1 assegno di ricerca “Punti fissi, astrazione e giochi per la verifica di sistemi software / Fixpoints, abstraction and games in the verification of software systems

Graduatoria

Bando di selezione n.17/2021 per il conferimento di n. 1 assegno, tipo A, per lo svolgimento di attività di ricerca nell’ambito del progetto dal titolo: “Punti fissi, astrazione e giochi per la verifica di sistemi software / Fixpoints, abstraction and games in the verification of software systems” da svolgersi presso il Dipartimento di Matematica “Tullio Levi-Civita”, responsabile scientifico Prof. Francesco Ranzato.