Keynote Speakers

Trained as a mathematician, she started working in Artificial Intelligence (AI) in the seventies, at the AI Lab of the Stanford University, directed by J. McCarthy. Researcher at the Italian National research Council, in 1982 she joined as Full Professor La Sapienza, Rome, where she founded a research group in AI. Her research concerned automated deduction with applications to program verification, knowledge representation and automated reasoning. In particular, she investigated on the possibilities offered by an explicit representation of meta-knowledge to increase the efficiency of deduction, the expressive power of a system, to provide it with introspection, and to allow for reasoning about knowledge and reasoning in multi-agent scenarios. She applied AI techniques in the construction of several kinds of intelligent systems, cognitive robotics and security. Founder and first president of AI*IA, Fellow of AAAI (1995) and of ECCAI -now EurAI (1999), Donald Walker Award of IJCAI (2009).Doctorate H.C. (2002) of the School of Technology of the Linköping University - Sweden.

Davide Ariu is one of the Pluribus One co-founders. He holds a Ph.D. in Computer and Information Engineering and his background is in the Computer Security, Pattern Recognition and Machine Learning areas. He is a post-doctoral researcher with the PRA Lab (University of Cagliari). Within Pluribus One, he is also responsabile for the participation of the company in european and national research projects.

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.

Jeronimo Castrillon is a professor in the Department of Computer Science at the TU Dresden, where he is also affiliated with the Center for Advancing Electronics Dresden (CfAED). He received the Electronics Engineering degree from the Pontificia Bolivariana University in Colombia in 2004, the master degree from the ALaRI Institute in Switzerland in 2006 and the Ph.D. degree (Dr.-Ing.) with honors from the RWTH Aachen University in Germany in 2013. His research interests lie on methodologies, languages, tools and algorithms for programming complex computing systems. He has more than 70 international publications and has been a member of technical program and organization committees in international conferences and workshops (e.g., DAC, DATE, ESWEEK, CGO, LCTES, Computing Frontiers, ICCS and FPL). He is also a regular reviewer for ACM and IEEE journals (e.g., IEEE TCAD, IEEE TPDS, ACM TODAES and ACM TECS). In 2014 Prof. Castrillon co-founded Silexica GmbH, a company that provides programming tools for embedded multicore architectures. Prof. Castrillon is Senior Member IEEE, Member ACM and founding member of the executive committee of the ACM “Future of Computing Academy” (FCA).

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.