Andrea Bobbio Author & Editor

Kishor S. Trivedi is a Professor of Electrical and Computer Engineering at Duke University, North Carolina, and a Life Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and a recipient of the IEEE Computer Society's Technical Achievement Award. Andrea Bobbio is Professor of Computer Science in the Dipartimento di Scienze e Innovazione Tecnologica at the Università degli Studi del Piemonte Orientale, Italy, and a senior member of Institute of Electrical and Electronics Engineers (IEEE).