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... Read more