Francesca Palumbo

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.

Luca Pulina

He is Associate Professor of Computer Science. He received a Ph.D. in Computer Engineering and Robotics from the University of Genoa, Italy, in 2009. His research activities focus on Automated Reasoning, Formal Verification and Knowledge Representation. He served in the organizing and technical program committee of several international conferences. He has (co-)authored more than fifty publications in peer-reviewed journals, international conferences, and workshops. He was involved as principal investigator of a regional project, while he participated in European and national projects.

Claudio Rubattu

He is a research collaborator at the University of Sassari. He received his degree in Electronic Engineering in 2015 at the University of Cagliari. In May 2015 he started a 1 year and 6 months research grant related to embedded system design in bio-medical applications. His main research focus is related to reconfigurable systems design and development of code generation tools for low power reconfigurable hardware architectures.

Simone Vuotto

He is research collaborator at the University of Sassari and PhD student at the University of Genoa. He graduated in Computer Engineering from the University of Genoa in 2016. He worked as a Software Engineer in the travel industry for over one year and for an high-tech Italian startup. His research activities focus on Formal Methods and Machine Learning.

Arthur Bit-Monnot

He is research collaborator at the University of Sassari. He received a P.h.D. in Artificial Intelligence and Robotics from LAAS-CNRS,Toulouse in 2016.
His research activity focuses on Autonomous Deliberation for Cyber-Physical Systems. It lead him to develop and combine various techniques in the areas of Task Planning, Constraint Programming, Temporal Reasoning and Combinatorial Optimization to extend the capabilities of real robotic systems. He serves on the program committee of several international AI conferences, including IJCAI and ICAPS.