Keynote Speakers

Luca Carloni is Professor of Computer Science at Columbia University in the City of New York. He holds a Laurea Degree Summa cum Laude in Electronics Engineering from the University of Bologna, Italy, and the MS and PhD degrees in Electrical Engineering and Computer Sciences from the University of California, Berkeley. His research interests include methodologies and tools for multi-core system-on-chip platforms with emphasis on system-level design and intellectual property reuse, design and optimization of networks-on-chip, and distributed embedded systems. He coauthored over one hundred and forty refereed papers and is the holder of two patents. Luca received the Faculty Early Career Development (CAREER) Award from the National Science Foundation in 2006, was selected as an Alfred P. Sloan Research Fellow in 2008, and received the ONR Young Investigator Award and the IEEE CEDA Early Career Award in 2010 and 2012, respectively. In 2013 Luca served as general chair of Embedded Systems Week (ESWeek), the premier event covering all aspects of embedded systems and software. Luca is an IEEE Fellow.

Nikil Dutt is a Distinguished Professor of CS, Cognitive Sciences, and EECS at the University of California, Irvine, and also a Distinguished Visiting Professor of CSE at IIT Bombay, India. He received a PhD from the University of Illinois at Urbana-Champaign (1989). His research interests are in embedded systems, EDA, computer architecture and compilers, distributed systems, healthcare IoT, and brain-inspired architectures and computing. He has received numerous best paper awards and is coauthor of 7 books. Professor Dutt has served as EiC of ACM TODAES and AE for ACM TECS and IEEE TVLSI. He is on the steering, organizing, and program committees of several premier EDA and Embedded System Design conferences and workshops, and has also been on the advisory boards of ACM SIGBED, ACM SIGDA, ACM TECS and IEEE ESL. He is an ACM Fellow, IEEE Fellow, and recipient of the IFIP Silver Core Award.

Giovanni Pruneddu is a Post-doctoral Fellow at the Department of Law of the University of Sassari and Adjunct Professor at the department of Humanities and Social Sciences in the same University. He obtained a Master degree in Law in 2010, and a PhD in Air Law defending a thesis titled “Legal issues of Low-cost Airlines”. He teaches and writes in the fields of Air, Transportation and Maritime law and Tourism Law. Giovanni has published a book focused on the matter of protection of the passenger of the low-cost airlines, with particular reference to the regime of insularity and aerial territorial continuity of Sardinia, as well as more than 20 articles on a wide range of topics concerning International and European Air Transport regulation. Among other things, his area of interests includes legal, ethical and regulation issues related to the use of new technologies, such as drone aircraft. Giovanni is member of the editorial board of national and international peer reviewed journals and he is the Italian corresponding Fellow of the Asociación Latinoamericana de Derecho Aeronautico y Espacial.

Alberto Sangiovanni Vincentelli is the Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences at the University of California, Berkeley. In 2001, he received the Kaufman Award for his pioneering contributions to EDA from the Electronic Design Automation Consortium. In 2011, he was awarded the IEEE/RSE Maxwell Medal “for groundbreaking contributions that have had an exceptional impact on the development of electronics and electrical engineering or related fields”. He co-founded Cadence and Synopsys, listed in NASDAQ with market cap of over 34 Billion USD. He presently serves on the Board of Directors of Cadence Design Systems Inc., KPIT Technologies, Cogisen, Expert System, and UltraSoC (Chairman of the Board). He consulted for Intel, HP, TI, ST Microelectronics, Mercedes, BMW, Magneti Marelli, Telecom Italia, United Technologies, Camozzi Group, Pirelli, General Motors, UniCredit and UnipolSAI. He is also serving as member of the Advisory Board of the Politecnico di Milano, and as Chairman of the International Advisory COuncil of MIND (Milano Innovation District). He is a member of the United States National Academy of Engineering, an IEEE and ACM Fellow. He received an honorary Doctorate from Aalborg University (Denmark) and one from KTH (Sweden). He has published more than 950 papers and 19 books.

Armando Tacchella is Associate Professor of Information Systems at the Faculty of Engineering, at the University of Genoa. He obtained his Ph.D in Electrical and Computer Engineering from the University of Genoa  in 2001 and his “Laurea” (M.Sc equivalent) in Computer Engineering in 1997. His teaching activities include graduate courses in AI and Formal Methods as well as undergraduate courses in design and analysis of algorithms. His research interests are mainly in the field of AI, with a focus on modeling and verification of cyber-physical systems, automated design and configuration, verification of neural networks and other learning systems.   His recent publications focus on improving safety and security of control architectures using formal methods with applications to robotics and industrial control systems. He has published about one hundred papers in international conferences and journals including AAAI, IJCAI, CAV, IJCAR, JAI, JAIR, IEEE-TCAD. In 2007 he was awarded by the Italian Association of Artificial Intelligence (AI*IA) the prize “Marco Somalvico” for the best young Italian researcher in AI.