Georgios Fainekos
Location: (Princeton, NJ / Tempe, AZ)
Personal Research Web Page: http://www.public.asu.edu/~gfaineko/
Keywords: Cyber-Physical Systems, formal methods and logic, control theory and hybrid, embedded and real-time systems, robotics, unmanned aerial vehicles
Posted on: Thursday, May 6th, 2010
Broad Research Area: AI / Machine Learning / Robotics / Vision, HCI / CSCW, Mobile / Ubiquitous / Embedded Computing, Numerical/Scientific Computing / HPC / Data-Intensive Scalable Computing, Other, Theory / Algorithms
Research Interests:
Titles of current projects:
* Robustness of Simulations in Model Based Design Environments
* Robust Testing for System Validation
* Temporal and Modal Logics for Dynamical and Hybrid Systems
* Hybrid System Synthesis from High Level Specifications
* Task and Motion Planning for Mobile Robots
* Natural Language Interfaces for Robotics
Contact Information:
Please use my personal email: email obfuscated - click to reveal.
My most updated web-page can be found at:
http://www.public.asu.edu/~gfaineko/
My office phone number is: (609) 951-2657
