Andrea Orlandini ha conseguito il titolo di Dottore in Ricerca in Informatica e Automazione [PhD 2006 - Università degli Studi ROMA TRE] dopo essersi laureato in ingegneria informatica [A.A. 2000/2001 - Università degli Studi ROMA TRE]. La sua attività di ricerca si è da subito focalizzata nel settore della Intelligenza Artificiale, ed in particolare nello studio dei sistemi di Pianificazione Automatica integrati con Metodi Formali per la realizzazione di Sistemi Intelligenti in particolar modo applicati nella Robotica.Andrea lavora da oltre 10 anni nel gruppo di ricerca "Planning and Scheduling Technology" Laboratory (PST Lab), coordinato dall’Ing. Amedeo Cesta, nell'Istituto di Scienze e Tecnologie della Cognizione del Consiglio Nazionale delle Ricerche (CNR-ISTC). Nel tempo, Andrea ha lavorato come assegnista di ricerca, come ricercatore a tempo determinato, poi come collaboratore tecnico di enti di ricerca (“sotto inquadrato” ma con contratto a tempo indeterminato) e, infine, è stato assunto come RICERCATORE III Livello a tempo indeterminato (vincitore bando 368.50) dal 4 novembre 2019. Andrea è membro della Associazione Italiana per l'Intelligenza Artificiale (AIxIA) dal 2003 (è stato recentemente nominato anche Revisore dei Conti dell’AIxIA).Andrea svolge attività di ricerca su tematiche relative alla Intelligenza Artificiale e la Robotica. Più nello specifico, Andrea studia la pianificazione automatica, l’esecuzione robusta di piani, verifica e validazione di sistemi di pianificazione, autonomia in piattaforme robotiche collaborative e lo sviluppo di soluzioni di robotica assistenziale per persone anziane e robot industriali sicuri. Andrea svolge anche attività di ricerca legate alla specifica di definizioni formali della pianificazione automatica e l'esecuzione di piani temporali a timeline in condizioni di incertezza, oltre che lo studio delle sue proprietà di espressività e complessità. To be updated...In 2002 he graduated in Computer Science at University Roma TRE submitting a thesis on Artificial Intelligence Planning and Temporal Logic. In 2006 he got his PhD in Computer Science at University Roma TRE with a research on Automated Planning, Temporal Logic and Robot Control in Rescue Scenario at University "Roma TRE". He is also a member of the ALCOR rescue team that partecipated at three Rescue Robocup Competition (third awarded in 2004). He got a PostDoc position at the LAAS-CNRS. Research interests: Logic, Automated Planning, Model-based Control and Robot Control.