Blog
About


  • Record: found
  • Orcid: found
  • Profile: found

andrea asperti

Education: Universita degli Studi di Pisa
  • Follow
  • Visit ORCID profile
Statistics

Biography

Andrea Asperti was born in Bergamo, Italy, in 1961.

He got a Ph.D in Computer Science at the University of Pisa in 1989. He worked at the Ecole Normale Superieure and at INRIA-Rocquencourt.

Currently, he is full professor at the University of Bologna.

He has been Director of the Department of Computer Science in the period 2005-2007.

Since 2000 until 2007, he has been member of the Advisory Commettee of the World Wide Web Consortium.

He is editorial manager of the Journal of Formalized Reasoning (ISSN: 1972-5787); he is leading the development team of the Interactive Theorem Prover "Matita".

His research interests are mainly focused on principles of programming languages, and logical foundations of computer science.

Employment

Universita degli Studi di Bologna

Full Professor in DISI, Dipartimento di Informatica - Scienza e Ingegneria

Bologna, Emilia-Romagna

Education

Universita degli Studi di Pisa, Computer Science

Ph.D in Computer Science

Pisa, Toscana