Silvio Valentini è nato a Padova il 6 gennaio 1953, si è laureato in Matematica con lode presso l'università di Padova il giorno 8 luglio 1977 e ha ottenuto il dottorato di ricerca in Mathematics and Informatics presso l'università di Nijmegen il giorno 22 giugno 2000. Dopo la laurea è stato dapprima ricercatore universitario a Siena e quindi a Padova, è poi divenuto professore associato di Logica Matematica dal 25 settembre 1987 prima presso l'università statale di Milano e poi nel dipartimento di Matematica Pura e Applicata dell'università di Padova dove è attualmente professore ordinario di Logica Matematica dal 28 dicembre 2004.Il suo lavoro scientifico mostra come egli sia stato sempre attento da un lato a quegli aspetti della logica più legati all'effettività e dall'altro alla parte più teorica dell'informatica. Questi due aspetti si sono integrati da quando ha cominciato ad occuparsi di teoria costruttiva dei tipi, sia studiandone le principali proprietà che utilizzandola per lo sviluppo costruttivo di parti rilevanti della matematica classica.Attualmente i suoi interessi di ricerca si rivolgono principalmente alla topologia formale e alle sue applicazioni e allo studio delle teorie dei tipi.
