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)
Reflections on Innovation Ecosystems: My Journey from Theory Research to 23 Billion USD
SMT-based verification of CPSs
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.
Safety and reliability of (adaptive) cyber-physical systems
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.
Artificial Intelligent Sensors at the core of Cyber-Physical-Systems
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.
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.
Energy Efficient Computing System Exploiting Online Tuning and Output Quality Management
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).
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.
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.
Cognitiveness at the edge: Platforms, Models, Tools – an insight into the ALOHA project
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.
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.
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.