Bio

Alessandro D'Innocenzo received on 21st July 2000 the Laurea degree (summa cum laude) in Electrical Engineering from the University of L'Aquila, Italy. He developed his master thesis at Telecom Italia Lab (Turin) on Voice Over Ip. His work experiences in the period 2000-2003 range on UMTS and GSM systems (Marconi), Computer Graphic Programming (Digital Video - Matemilano), and Air Traffic Management Systems (HYBRIDGE project, Centre of Excellence DEWS). From November 2003 to January 2007 he was PhD student at the Department of Electrical Engineering and Computer Science of University of L'Aquila, under supervision of Prof. M.D. Di Benedetto and Prof. S. Di Gennaro. In 2005 he was recipient of Fondazione Filauro Studentship. From January to July 2005 was visiting scholar of the Department of Electrical and Systems Engineering of the University of Pennsylvania, in the research team of Prof. George J. Pappas. On January 29 2007 he defended his PhD thesis entitled "Observability and Temporal Properties of Hybrid Systems: Analysis and Verification". On April 2 2007 he accomplished the International Curriculum Option of Doctoral Studies in Hybrid Control for Complex, Distributed and Heterogeneous Embedded Systems. He is currently involved in the HYCON and iFly european projects. Since March 2008, he is a Postdoctoral Researcher in the Department of Electrical and Systems Engineering at the University of Pennsylvania, in the research team of Prof. George J. Pappas.