Hadas Kress-Gazit’s reseach focuses on verifiable high-level robot control. She is interested in creating autonomous robots that perform user-defined high-level tasks in dynamic environments while providing guarantees of correctness for their behavior. Her areas of research span traditional ME, CS and EE topics and include hybrid systems, symbolic control and connections between formal methods, logic, natural language and robotics.
Hadas Kress-Gazit
(Mechanical Engineering)