Foto del docente

Andrea Asperti

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Curriculum vitae

Andrea Asperti ha ottenuto un dottorato in Computer Science all'Universita' di Pisa nel 1989. Dopo aver lavorato come ricercatore presso l' Ecole Normale Superieure di Parigi e l' Institute National de Recherche en Informatique et en Automatique di Rocquencourt e' rientrato in Italia nel 1992, in qualita' di Professore Associato all'Universita' di Bologna.
E' attualmente Professore Ordinario presso il Dipartimento di Informatica: Scienza e Ingegneria (DISI) dell'Universita' di Bologna.
E' stato Presidente del Consiglio di Corso di Studi (1998-2000) e Direttore del Dipartimento di Scienze dell'Informazione (2005-2007).
Nel periodo dal 2000 al 2007 ha fatto parte dell'Advisory Commettee del World Wide Web Consortium.
Andrea Asperti ha coordinato svariati progetti PRIN nazionali e numerosi  progetti internazionali, tra cui:

  • IST-2001-33562 MoWGLI (project leader)
  • IST-2001-37057MMK-NET (site leader)
  • TMR-Network LINEAR (site leader)
  • Working Group CONFER-II (site leader)

E' Editor in Chief del Journal of Formalized Reasoning (ISSN 1972-5787).

Andrea Asperti ha coordinato lo sviluppo del dimostratore interattivo "Matita".

Si e' interessato a numerose tematiche di ricerca tra cui aspetti teorici, linguaggi di programmazione, rappresentazione della conoscenza, verifica automatica e computer intelligence.

Attualmente si occupa di Deep Learning e Deep Reinforcement Learning.