Elenco Rettori

Mancarella Paolo Maria - Rettore Università di Pisa

  • Ateneo: Pisa statale
  • Scad.: ottobre 2022
  • Ord.: Informatica
  • Nato: l'8 novembre 1959 a Nato Gallarate (VA)
  • Sede: Lungarno Pacinotti, 43 56124 Pisa
  • Tel.: 050/2212175 Fax 050/42446
  • Email: This email address is being protected from spambots. You need JavaScript enabled to view it. This email address is being protected from spambots. You need JavaScript enabled to view it.

2004-: Professore di ruolo di I fascia (Dipartimento di Informatica, Università di Pisa – SSD INF/01) 1992-2004: Professore di ruolo di II fascia (Dipartimento di Informatica, Università di Pisa) 1988-1992: Ricercatore universitario (Dipartimento di Informatica, Università di Pisa) 1988-1989: Academic Visitor (Borsista CNR) – Department of Computing, Imperial College of Science, Technology and Medicine, London, UK 1983-1987: Dottorando di ricerca in Informatica (I ciclo – Università di Genova, Pisa, Udine) 1983: Contratto di collaborazione – Dipartimento di Informatica, Università di Pisa (Progetto Finalizzato Informatica, sottoprogetto P1, obiettivo CNET).

Dottore di Ricerca in Informatica (1988, I ciclo – Università di Genova, Pisa, Udine) Laurea Scienze dell’Informazione (1982, Istituto di Scienze dell’Informazione, Università di Pisa)

Incarichi accademici
2010-2016: Prorettore per la Didattica, Università di Pisa
1999-2016: Delegato del Rettore dell’Università di Pisa alle funzioni di coordinamento, monitoraggio e supporto di tutte le iniziative concernenti l’integrazione nell’ambito dell’Ateneo degli studenti portatori di handicap.
2000-2016: Responsabile e coordinatore dell’USID – Unità per il Supporto e l’Integrazione degli studenti Disabili. 2006-2010: Vice Preside della Facoltà di Scienze Matematiche Fisiche e Naturali, Università di Pisa
1998-2000: Presidente del Centro Interdipartimentale di Servizi “L. Fibonacci” dell’Università di Pisa
2001: Partecipazione al Corso di Formazione per Valutatori di Sistemi Qualità, organizzato dall’Associazione Italiana Cultura Qualità (AICQ) e supera con esito positivo gli esami conclusivi. I contenuti formativi del corso (basati sulla normativa Serie UNI ISO 9000:2000 e Modello CAMPUS 2000) ed il relativo esame finale sono riconosciuti ai fini dell’iter di certificazione AICQ SICEV.
2000: Esperto valutatore su incarico della Sovrintendenza Scolastica per la Toscana per la valutazione dei capi di Istituto (secondo la metodologia di valutazione prevista dalla C.M. n. 18 del 18/1/2000). Partecipazione alla valutazione di 71 Capi di Istituto della Toscana (20 Direzioni Didattiche, 18 Istituti Comprensivi, 19 Scuole Medie Inferiori, 14 Scuole Superiori). 
1996-2000: Esperto Valutatore su nomina della CRUI e membro di commissioni di valutazione dei Diplomi Universitari nell’ambito del progetto CAMPUS. 
1995: Membro della Commissione di Autovalutazione del Diploma Universitario in Informatica, Università di Pisa.  Attività di Ricerca

Temi di ricerca principali:
- linguaggi di programmazione dichiarativi per la rappresentazione della conoscenza, modelli e linguaggi per sistemi intelligenti basati sulla logica, logica computazionale, ragionamento ipotetico e programmazione logica abduttiva, sistemi argomentativi basati sulla logica (logic-based argumentation systems).
- Altri temi di ricerca: analisi statica di linguaggi concorrenti, ragionamento temporale, integrazione di paradigmi di programmazione logici e funzionali, sviluppo di sistemi di predizione per persone con disabilità.
- Autore di numerosi articoli scientifici su riviste internazionali e su atti di congressi scientifici nazionali ed internazionali.

Ha partecipato a progetti di ricerca nazionali ed europei, tra i quali:
ARGUGRID – ARGUmentation as a foundation for the semantic GRID (2006-2009, Programma: FP6-IST, Sesto Programma Quadro – Information Society Technology) SOCS – SOcieties of ComputeeS (2002-2004, Programma: FP5-IST, Quinto Programma Quadro – Information Society Technology) CLFSA – Computational Logic for Flexible Solutions to Applications (1998-2001, Programma: INCO-DC – International Cooperation with Developing Countries)  LPKRR – Logic Programming in Knowledge Representation and Reasoning (Programma: KIT – Keep In Touch)

Altri incarichi
2009-2015: Presidente della CNUDD (Conferenza Nazionale Universitaria dei Delegati Disabilità)

Log in