Hadas Kress-Gazit has been promoted to Full Professor

Hadas Kress-Gazit's tremendous efforts in formal methods have resulted in significant contributions to reactive software, theory, and algorithms that allow robots to perform high-level tasks with established performance guarantees. Her success is reflected through these many scientific contributions, her leadership as PI on a number of DoD and NSF programs - including an Office of Naval Research Multidisciplinary Research Program - and a number of awards (like the DARPA YFA and NSF CAREER).

Hadas joined the Sibley School in 2009 and has since become a leader within our department and the broader robotics community.  Hadas chaired Cornell's bi-College (COE and CIS) strategic planning effort that led to, among other things, the 5-field Robotics Ph.D. program and further engagement with industry.  Outside Cornell Hadas has chaired several large conferences, served as associate editor or on the editorial board of Annual Review and IEEE journals.  Hadas has also been a widely recognized champion of broadening participation in robotics and engineering and general.