PhD Student
The main objective of my research is to enhance the dependability of complex unmanned aerial vehicle (UAV) missions with the application of modern automated program analysis techniques. This research is funded by a three-year grant from the European Office of Aerospace Research & Development. My supervisors are David S. Rosenblum and Anthony Finkelstein, and I am collaborating with Sebastian Elbaum of the University of Nebraska---Lincoln, who is funded by a three-year grant from the Air Force Office of Scientific Research.
My CV can be downloaded here.
Contact Details
University College London
Department of Computer Science
Gower Street
London WC1E 6BT
United Kingdom
Office: 7.08
Tel: +44 (0)20 7679 0372 (direct dial)
Internal: 30389
Fax: +44 (0)20 7387 1397
Email: f.zervoudakis@cs.ucl.ac.uk
LinkedIn: Fokion Zervoudakis
Twitter: @fluidsemantics