| Bio: | He received his Laurea degree in Electronics Engineering (summa cum laude) from the University of Rome "La Sapienza", in 1997.
He was awarded his M.S. degree in 2001 and his Ph.D. Fall 2004 from the University of California at Berkeley.
His interests are in applications of formal methods, modeling and control of hybrid systems, distributed safety-critical applications, model-based engineering.
|
