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.
Dipartimento di Informatica Bioingegneria Robotica e Ingegneria dei Sistemi (DIBRIS)
Viale Causa, 15 - 16145 GENOVA armando.tacchella_at_unige.it
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
For more information, you can download my complete CV here.