Armando Tacchella

I am Associate Professor in Information Processing Systems at the University of Genoa.

My research interests are mainly in the field of Automated Reasoning, Modeling and Verification of Cyber-Physical Systems, Machine Learning. I like to solve problems at the crossroads of Automated Reasoning and Machine Learning with applications to CPSs for monitoring, control and diagnosis of complex automation systems, including, but not limited to, robots, factory and home automation.

Currently I teach the course Progettazione e Analisi di Algoritmi (Design and Analysis of Algorithms) for undergraduate students in Ingegneria Informatica (Computer Systems Engineering), and the course Modeling and Verification of Cyber-Physical Systems to graduate students. I used to teach courses about Artificial Intelligence, Formal Languages and Compilers, and Machine Learning for graduate students in Robotics, Bioengineering and Computer Systems Engineering.

Contact Information
Dipartimento di Informatica Bioingegneria Robotica e Ingegneria dei Sistemi (DIBRIS)
Viale Causa, 15 - 16145 GENOVA
Tel. 010-353-2782 (Office) -2150 (Lab)
Fax. 010-353-2948 (Dept. fax)

Best Young Researcher in AI, awarded by the Italian Association for Artificial Intelligence (AI*IA) in 2007
Dottorato in Ingegneria Elettronica e Informatica (Ph.D. equivalent in EECS) from University of Genoa, Feb. 2001
Laurea in Ingegneria Informatica con lode (M.Sc. equivalent in Computer Systems Engineering with honors) from University of Genoa, Apr. 1997

Curriculum Vitae
For more information, you can download my  complete CV here.