GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Hadas Kress-Gazit
URI:
https://gptkb.org/entity/Hadas_Kress-Gazit
GPTKB entity
Statements (20)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Technion_–_Israel_Institute_of_Technology
gptkb:University_of_Pennsylvania
gptkbp:award
gptkb:IEEE_Fellow
gptkb:NSF_CAREER_Award
gptkbp:department
gptkb:Sibley_School_of_Mechanical_and_Aerospace_Engineering
gptkbp:doctoralAdvisor
gptkb:George_J._Pappas
gptkbp:employer
gptkb:Cornell_University
gptkbp:field
control theory
formal methods
robotics
gptkbp:gender
female
https://www.w3.org/2000/01/rdf-schema#label
Hadas Kress-Gazit
gptkbp:knownFor
research in formal methods for robotics
gptkbp:nationality
gptkb:Israeli
gptkbp:occupation
gptkb:professor
gptkb:robot
gptkbp:position
gptkb:Geoffrey_S._M._Hedrick_Senior_Professor_of_Engineering
gptkbp:bfsParent
gptkb:Daniela_Rus
gptkbp:bfsLayer
4