Hadas Kress-Gazit Bio

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.

Verifiable Robotics Research Group

Hadas is also the faculty advisor for Cornell Mars Rover.

Cornell Mars Rover