Hadas Kress-Gazit
Scholar

Hadas Kress-Gazit

Google Scholar ID: duOys3YAAAAJ
Cornell University
roboticsformal methods
Citations & Impact
All-time
Citations
3,678
 
H-index
29
 
i10-index
66
 
Publications
20
 
Co-authors
42
list available
Contact
No contact links provided.
Resume (English only)
Background
  • Research Interests: High-level interaction with physical systems, particularly robots; how to formalize high-level goals in a user-friendly way; how to automatically create controllers for such systems and how to ensure these systems behave correctly.