Autore: Graziano Pravadelli

Massimo Poncino is Full Professor of Computing Engineering at Politecnico di Torino. His research interests include the design automation of digital systems, with special emphasis on low-power embedded systems. He has coauthored more than 300 publications in the above areas. Massimo Poncino has served as member of Technical Program Committee of more than 50 IEEE and ACM conferences. He was the Technical Program Chair of the 2011 IEEE/ACM Symposium on Low-Power Electronics and Design and General co-Chair for the same conference in 2012. He has served in the Editorial Board of the IEEE Transactions on CAD, IEEE Design & Test, ACM Transactions on Design Automation of Electronic Systems. Prof. Poncino is a Senior Member of IEEE and member of the ACM SIGDA Low-Power Technical Committee. Nicola Bombieri received the Ph D in Computer Science from the University of Verona in 2008. Since 2008, he is researcher and Professor Assistant at the Dept. of Computer Science of the University of Verona. His research activity focuses on design and verification of embedded systems, automatic generation and optimization of embedded SW, and high performance computing. He has been involved in several national and international research projects and has published more than 70 papers on conference proceedings and journals in the above areas. Graziano Pravadelli, IEEE member, is an associate professor at the Computer Science Department of the University of Verona (Italy) and co-founder of EDALab s.r.l. (Italy). He received the Laurea Degree and the Ph D in Computer Science at University of Verona, respectively in 2001 and 2004. In 2007, he co-founded EDALab s.r.l., a SME whose mission consists of giving support for innovation and technology transfer in embedded system modeling and verification. His main interests focus on modeling, simulation and semi-formal verification of HW/SW embedded systems and cyber physical systems, with particular regards to virtual prototyping, correct-by-construction embedded SW generation, TLM and RTL modeling, abstraction and refinement techniques, mutation analysis and mutation testing, functional qualification and assertion-based verification. In this context, he collaborated in several national and European projects (e.g., VERTIGO, COCONUT, COMPLEX, SMAC, CONTREX) and he published more than 100 papers in international conferences and journals.