Presentazione

Dettaglio Docente

VALENTINI SILVIO

Professore ordinario

Dipartimento di Matematica

0498271485

silvio.valentini@unipd.it

http://www.math.unipd.it/~silvio/

MAT/01

Curriculum Scientifico

Silvio Valentini e` nato a Padova il 6 gennaio 1953, si e` laureato in Matematica con lode presso l'universita` di Padova il 8 luglio 1977 e ha ottenuto il dottorato di ricerca in Mathematics and Informatics presso l'universita` di Nijmegen il 22 giugno 2000. E` attualmente professore ordinario di Logica Matematica presso il dipartimento di Matematica Pura ed Applicata dell'universita` di Padova dopo essere stato ricercatore universitario a Siena e a Padova e professore associato a Milano e a Padova. I suoi interessi di ricerca si concentrano sugli aspetti della logica piu` legati all'effettivita` e alla parte piu` teorica dell'informatica. Questi due aspetti si sono integrati da quando ha cominciato ad occuparsi di teoria costruttiva dei tipi utilizzandola per lo sviluppo costruttivo di parti rilevanti della matematica classica.

Pubblicazioni più Rilevanti

1.VALENTINI S. (2006). Every countably presented formal topology is spatial, classically. JOURNAL OF SYMBOLIC LOGIC. vol. 71 (2), pp. 491-500 ISSN: 0022-4812. 2.COQUAND T., SAMBIN G., SMITH J., VALENTINI S. (2003). Inductively generated formal topologies. ANNALS OF PURE AND APPLIED LOGIC. vol. 124, pp. 71-106 ISSN: 0168-0072. 3.VALENTINI S. (2001). An elementary proof of strong normalization for intersection types. ARCHIVE FOR MATHEMATICAL LOGIC. vol. 40, pp. 475-488 ISSN: 0933-5846. 4.BOSSI A., VALENTINI S. (1992). An intuitionistic theory of types with assumptions of high-arity variables. ANNALS OF PURE AND APPLIED LOGIC. vol. 57, pp. 93-149 ISSN: 0168-0072. 5.VALENTINI S. (1983). The modal logic of provability: cut-elimination. JOURNAL OF PHILOSOPHICAL LOGIC. vol. 12, pp. 471-476 ISSN: 0022-3611.