Confirmed Speakers

The Summer School is possible thanks to the several speakers and organizers who donate their time to make this event a success. The list of speakers is currently being updated.

Alberto Sangiovanni-Vincentelli - University of California, Berkeley (USA)

Alessandro Cimatti - FBK, Trento (Italy)

Armando Tacchella - University of Genoa, Genoa (Italy)

Danilo Pau - STMicroelectronics, Agrate Brianza (Italy)

Paolo Meloni - University of Cagliari, Cagliari (Italy)

Giovanni Pruneddu - University of Sassari, Sassari (Italy)

Alberto Sangiovanni-Vincentelli - University of California, Berkeley (USA)
Alberto Sangiovanni Vincentelli has served on the faculty of the University of California, Berkeley since 1976 and currently holds is the Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences at the University of California at Berkeley. As both an academic and entrepreneur, Alberto Sangiovanni-Vincentelli propelled electronic design automation (EDA) into an indispensable engineering discipline with his groundbreaking scientific contributions, collaborations with industry and by co-founding the two largest EDA companies (Cadence and Synopsys) in the world. Dr. Sangiovanni-Vincentelli continues to be a driving force in the EDA, which has enabled integrated circuit design to progress from a few hundred transistors in the 1970s to today’s integrated circuits containing billions of transistors.
A world-renowned authority on all aspects of integrated circuit and system design such as numerical algorithms, circuit simulation, verification, layout, logic synthesis, system design methodologies and distributed system analysis, Dr. Sangiovanni-Vincentelli was instrumental in bringing EDA technology to market and ensuring its commercial success. In 1983, he co-founded SDA Systems–one of two companies that merged to form Cadence Design Systems. In 1986, he went on to help found Synopsys. During the 1990s, Sangiovanni-Vincentelli developed the foundations of “platform-based design,” a comprehensive design and analysis methodology for electronic systems. 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 received an honorary Doctorate from Aalborg University (Denmark) and one from KTH (Sweden). He authored 17 books and over 950 papers.
Dr. Sangiovanni-Vincentelli presently serves on the Board of Directors of Cadence Design Systems Inc., KPIT Technologies, Sonics, Cogisen, Expert System, UltraSoC, and on the Advisory Board of Atlante Ventures, Innogest, XSeed, and Walden International. An advisor to leading companies such as Intel, HP, TI, ST Microelectronics, Mercedes, BMW, Magneti Marelli, Telecom Italia, United Technologies, General Motors and Pirelli, he is a member of the National Academy of Engineering, an IEEE and ACM Fellow. He has published more than 900 papers and 17 books in the areas of EDA, design methodologies, control, hybrid systems and system-level design.

 

Alessandro Cimatti - FBK, Trento (Italy)

 

Armando Tacchella - University of Genoa, Genoa (Italy)
He 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, formal languages, compilers, and machine learning as well as undergraduate courses in design and analysis of algorithms. His research interest are mainly in the field of AI, with a focus on systems and techniques for automated reasoning and machine learning, and applications to modeling, verification and monitoring of cyber-physical systems. His recent publications focus on improving the dependability of complex control architectures using formal methods, from the design stage till the operational stage of the system. He has published more than forty 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.

 

Danilo Pau - STMicroelectronics, Agrate Brianza (Italy)
He is Senior Principal Engineer, Senior Member of Technical Staff at Advanced System Technology, STMicroelectronics, Agrate Brianza Italy. His current research interests are focused on Embedded Intelligence for IoT sensors, deep machine learning applied to heterogeneous sensors, human activity classification for embedded systems and ultra low power intelligent sensors. Since 1991 as Internship Engineer at STMicroelectronics, he acquired deep knowledge on Video coding, 2/3D Graphics for Embedded Systems and Computer Vision on which leaded breakthrough technical activities. He has tutored and advised many undergraduate and graduate students(on computer science and electronic engineering) and some PhD’s students. He coordinated several research projects with the most important Italian universities. He served for 3 years as 1st Chairman of the Technical Staff Community in STMicroelectronics and acted as co-chair of ISO/IEC MPEG CDVS and started CDVA standardization initiative as well as contributor to Khronos OpenGL-ES and OpenVG working groups since their conception. He is IEEE SM'07, M'96 and Industry Ambassador of the IEEE Italian Chapter, and acting as member of IEEE Industry relations group since 2016. Since 2017 is vice-chair Task Force on “Intelligent Cyber-Physical Systems” IEEE CIS. He has represented at technical level STMicroelectronics in several EU and Regional funded projects.

 

Paolo Meloni - University of Cagliari, Cagliari (Italy)
He is assistant professor at the Department of Electrical and Electronic Engineering (DIEE) in the University of Cagliari since 2012. From the same institution he received a Master degree in Electronic Engineering in October 2004, and a PhD in Electronic Engineering and Computer Science in October 2007, defending the thesis “Design and optimization techniques for VLSI network on chip architectures". He works at the EOLAB-Microelectronics Lab since November 2004. His research activity is mainly focused on the development of advanced digital systems, with special emphasis on the application-driven design and programming of multi-core on-chip architectures and FPGAs. He has recently worked to the developement of NEURAghe, an FPGA-based accelerator for Convolutional Neural Networks. Within his research activity, he personally and directly cooperates on a daily bases with researchers from first-class academic and industrial actors in the field of Electronic Engineering. He is author of a significant track of international research papers, reviewer for international scientific journals and conferences, and tutor of many bachelor, master and PhD students' thesis in Electronic Engineering and Computer Science. He is teaching the course of Embedded Systems at University of Cagliari and recently acted as part of the technical board and as work-package leader in the research projects ASAM (www.asam-project.org) and MADNESS (www.madnessproject.org) and as a principal investigator in the national project “ELoRA: Low-power Real-time processing of neural signals for prosthetic Aids”. He is currently participating to the CERBERO H2020 project.