Formazione

PhD in Electrical Engineering and Computer Sciences, UC Berkeley, 2004.

Carriera accademica ed attività didattica

Associate Professor, Digital Electronic Systems

Interessi di ricerca

Embedded Systems, Design Methodologies, Modeling Synthesis and Verification

Attività di ricerca

Embedded Systems, Design Methodologies, Modeling Synthesis and Verification

Local coordinator for the European projects COMBEST, ArtistDesign, CyPhERS

Appartenenza a società e comitati scientifici

Member of the IEEE