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 Genova, Genova (Italy)

Danilo Pau - STMicroelectronics, Agrate Brianza (Italy)

Francesca Palumbo - University of Sassari, Sassari (Italy)

Gianluca Palermo - Politecnico di Milano (Italy)

Giovanni Pruneddu - University of Sassari, Sassari (Italy)

Paolo Azzoni - EUROTECH Group

Paolo Meloni - University of Cagliari, Cagliari (Italy)

Renaud De Landtsheer - CETIC research centre (Belgium)

Valeria Tomaselli - STMicroelectronics (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)

SMT-based verification of CPSs

Alessandro Cimatti is a senior researcher at Fondazione Bruno Kessler,Trento, Italy. Within the Center for Information and Communication Technologies, he leads the research unit in Embedded Systems and the research line on Smart Digital Industry. His research interests concern formal verification of industrial critical systems, methodologies for design and verification of hardware/software systems, decision procedures and their application,safety analysis, diagnosis and diagnosability.
Cimatti has published more than one hundred and eighty papers in the fields of Formal Methods and Artificial Intelligence. He has co-chaired the FMCAD, SAT and SEFM conferences, and has been member of the Program Committee of the major conferences in computer-aided verification and artificial intelligence.
Cimatti is also interested in the development of software tools for verification (including the MathSAT SMT solver and the nuXmv model checker), and in their application on the field.
Cimatti has been the leader of several technology transfer projects in related fields,including projects funded by the European Space Agency and theEuropean Railways Agency.

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.

Graduated at Politecnico di Milano, Italy on 1992 in Electronic Engineering. On 1991 he joined STMicroelectronics and since then worked on different R&D subjects such video coding, embedded graphics, computer vision and deep learning in Advanced System Technology with the aim of bringing them into company products. Currently he holds Senior Principal Engineer, Member of Technical Staff position. He served as Chairman of the STMicroelectronics Technical Staff Italian Community. He is also IEEE Senior Member, serving Industry Ambassadors for IEEE Region 8 South Europe and vice chair of Task Force on “Intelligent Cyber-Physical Systems” within IEEE Computational Intelligence Society.

Francesca Palumbo - University of Sassari, Sassari (Italy)
Introduction on Cyber Physical Systems
She is currently an assistant professor at the University of Sassari, within the Information Engineering unit of the Department of Political Sciences, Communication Sciences and Information Engineering.
She received her summa cum laude “Laurea Degree” in Electronic Engineering in 2005 at the University of Cagliari, then attended the Master Advanced in Embedded System Design in 2006 at the Advanced Learning and Research Institute of the University of Lugano before starting her Ph.D. in Electronic and Computer Engineering at the University of Cagliari.
Her research focus is related to reconfigurable systems and to code generation tools and design automation strategies for advanced reconfigurable hardware architectures. For her studies in the fields of dataflow-based programming and hardware customization, she received two Best Paper Awards at the Conference on Design and Architectures for Signal and Image Processing, respectively in 2011 and in 2015, with the works entitled “The Multi-Dataflow Composer tool: A runtime reconfigurable HDL platform composer” and “MPSoCs for real-time neural signal decoding: A low-power ASIP-based implementation”. Dr. Palumbo serves in several different Technical Committee of international conferences and she is a permanent Steering Committee Member of the ACM Conference on Computing Frontiers and Associate Editor of the Springer Journal of Signal Processing Systems.
At the moment, Dr. Palumbo is the scientific coordinator of the CERBERO (ID: 732105) H2020 European Project on Smart Cyber Physical System Design.

He received the M.S degree in Electronic Engineering, in 2002, and the Ph.D. degree in Computer Engineering, in 2006, from Politecnico di Milano. He is currently an Associate Professor at Department of Electronics, Information and Bioengineering in the same University. Previously he was consultant engineer in the Low Power Design Group of AST - STMicroelectronics (Agrate, Italy) working on Networks-on-Chip and research assistant at the Advanced Learning and Research Institute (ALaRI) of the Universita' della Svizzera Italiana (Lugano, Switzerland).
He is an active member of the scientific community by regularly serving as PC-member of conferences and workshops, and as reviewer in all the top-level journals in his research field.
He participated to several EU projects acting also as deputy-coordinator and Work Package Leader.
He was involved in various research topics in the field of design methodologies and architectures for embedded and high-performance computing systems focusing his attention on Networks-on-Chip, multi/many-cores architectures, Near-Threshold Computing (NTC) architectures and architectures for irregular applications. Currently, his research topics are related to application and compiler autotuning.
Since 2003, he published over 100 peer-reviewed papers (> 2300 total citations and h-index of 25 according to Google Scholar).

Giovanni Pruneddu - University of Sassari, Sassari (Italy)
Legal Issues behind Smart Devices

He 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.

is the Research Program Manager at EUROTECH Group. He is responsible for planning and directing industrial research projects, investigating technologies beyond the state of the art in computer science, developing a wide network of academic research groups and providing the financial support to company research activities. His main working areas include cyber-physical systems (CPS), intelligent systems, machine-to-machine distributed systems, device to cloud solutions, and Internet of Things. He participated in several European research projects in the contexts of FP7, Artemis, Aeneas, ECSEL and H2020, and he is a European Community Independent Expert.
He represents EUROTECH in the Artemis Industrial Association (Artemis-IA) since 2007. He is currently member of the Artemis-IA Steering Board, of the Artemis-IA Presidium and delegate of the ECSEL Governing Board. In the context of Artemis-IA he is the chairmen of the “IoT to System of Systems” working group.
Previously, he was involved in academic lecturing and research in the areas of hardware formal verification, hardware/software co-design and co-simulation, advanced hardware architectures and operating systems. In 2006 he joined ETHLab (EUROTECH Research Center) as Research Project Manager and he has been responsible for the research projects in the area of embedded systems.
He is an accomplished researcher and author of publications focusing on the latest trends of IoT, intelligent systems and CPSs, with a wide experience matured in more than 20 years of direct involvement in European research, technology transfer and ICT innovation. He holds a Master Degree in Computer Science and a second Master Degree in Intelligent Systems.

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 ( and MADNESS ( 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.

Renaud De Landtsheer - CETIC research centre (Belgium)
Customized heterogeneous systems
Renaud De Landtsheer got a master’s degree in computer science in 2002 from Université Catholique de Louvain (UCL), Belgium and a PhD in applied science from UCL in 2007 on goal-oriented requirements engineering, security engineering, and formal methods. After one year of various experiences he joined CETIC, a small research centre in Belgium where he sparkled the development of an open source optimization engine for combinatorial problem (Oscar.cbls). He is now applying it to various combinatorial problems including routing and scheduling.

Valeria Tomaselli - STMicroelectronics (Italy)
Artificial Intelligent Sensors at the core of Cyber-Physical-Systems
Is a Senior Engineer and Project Leader at STMicroelectronics in Catania. She received the Master Degree in Software Engineering in 2003 from University of Catania. From 2003 she has been working at STMicroelectronics, in the Advanced System Technology group, where she researches innovative algorithms in the image processing, computer vision and artificial intelligence fields. She is author of patents and papers about image processing and computer vision, and she also serves as a reviewer. She has been also involved in many national and international research projects.