Georgios E. Fainekos is an Assistant Professor at the School of Computing, Informatics and Decision Systems Engineering at Arizona State University. He is currently affiliated with the Consortium for Embedded Systems (CES). He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working in the area of Cyber-Physical Systems. In particular, his research interests include formal methods and logic, control theory and hybrid, embedded and real-time systems with applications to robotics and unmanned aerial vehicles. He was finalist for the best student paper in ICRA 2007 and he was recipient of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. more ...