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: Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo. Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.

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