Prof. Alessandro Abate

Alessandro Abate is an Associate Professor in the Department of Computer Science at the University of Oxford (UK). He received a Laurea in Electrical Engineering in October 2002 from the University of Padova (IT), an MS in May 2004 and a PhD in December 2007, both in Electrical Engineering and Computer Sciences, at UC Berkeley (USA). He has been an International Fellow in the CS Lab at SRI International in Menlo Park (USA), and a PostDoctoral Researcher at Stanford University (USA), in the Department of Aeronautics and Astronautics. From June 2009 to mid 2013 he has been an Assistant Professor at the Delft Center for Systems and Control, TU Delft (NL).

His research interests are in the formal verification and control of complex (probabilistic and hybrid) models, in the integration of data-based learning aspects within these deductive techniques, and in the application of complex models over a number of domains, particularly in systems biology and in energy.