Fabio Patrizi

Ricercatore


patrizi@diag.uniroma1.it
Stanza: B214
Tel: +39 0677274073
Fax: +39 0677274002
Biografia: 

Fabio Patrizi è nato a Roma il 19/12/1978.Dall'ottobre 2011 è Ricercatore a Tempo Determinato presso il Dipartimento di Ingegneria Informatica, Automatica e Gestionale dell'Università "La Sapienza" di Roma. Precedentemente, ha ricoperto i seguenti incarichi: 

  • Ago 2011 - Ott 2011 Assegnista di Ricerca presso il Dipartimento di Ingegneria Informatica, Automatica e Gestionale dell'Università "La Sapienza" di Roma
  • Set 2010 - Ago 2011 Research Associate presso il Department of Computing dell'Imperial College di Londra (UK)
  • Feb 2009 - Set 2010 Assegnista di Ricerca presso il Dipartimento di Ingegneria Informatica, Automatica e Gestionale dell'Università "La Sapienza" di Roma 

 

  • Nel periodo gen - lug 2008 è stato visiting scholar presso la University of California San Diego (CA, USA) 
  • Nel periodo dic 2011 - gen 2012 è stato visiting researcher presso la RMIT University di Melburne (Vic, AU)

 Ha svolto la seguente attività didattica:

  • A.A. 2012/2013: Docente responsabile del corso di Fondamenti di Informatica I, Facoltà di Ingegneria dell'Informazione, Informatica e Statistica, Sapienza Università di Roma
  • A.A. 2011/2012: Ha svolto dei cicli di esercitazioni pr il corso di Fondamenti di Informatica I, Facoltà di Ingegneria dell'Informazione, Informatica e Statistica, Sapienza Università di Roma 
  • A.A. 2010/2011: Teaching  Assistant del corso di Programming, Department of Computing, Imperial College London (UK)
  • A.A. 2009/2010: Tutor del corso di Progettazione del Software, Facoltà di Ingegneria Informatica, Sapienza Università di Roma
  • A.A. 2008/2009: Tutor del corso di Progettazione del Software, Facoltà di Ingegneria Informatica, Sapienza 
  • A.A. 2007/2008: Tutor del corso di Progettazione del Software I, Facoltà di Ingegneria Informatica, Sapienza Università di Roma
  • A.A. 2006/2007: Tutor del corso di Progettazione del Software I, Facoltà di Ingegneria Informatica, Sapienza Università di Roma
  • A.A. 2005/2006: Tutor del corso di Progettazione del Software I, Facoltà di Ingegneria Informatica, Sapienza Università di Roma

 

Pubblicazioni: 

È autore di oltre 30 pubblicazioni su riviste internazionali e proceedings di conferenze e workshop internazionali. Il suo h-index è 11, con un totale di 450 citazioni (Google scholar, giugno 2013). 

Riconoscimenti e premi: 

È stato assegnatario del premio 2011 RMIT VIsiting Resercher's Award, bandito dalla RMIT University di Melbourne (Vic, AU)

Area di ricerca: 
Intelligenza artificiale e rappresentazione della conoscenza
Interessi di ricerca: 

Si è interessato ad aspetti teorici, metodologici ed implementativi in varie aree dell'Informatica e Intelligenza Artificiale:

  • Behavior composition
  • Planning programs
  • Verifica di sistemi multiagente
  • Verifica di action theories in Situation calculus
  • Progression di action theories in Situation calculus
  • Sintesi di piani infiniti
  • Composizione di servizi
  • Tecniche di astrazione su dati, orientate a verifica e sintesi
  • Problemi di Constraint Satisfaction