In 2015 she was named a Fellow of the Association for Computing Machinery "for contributions to research in automated formal verification of hardware and software systems."
2015 wurde sie als Fellow der Association for Computing Machinery (ACM) „für ihren Beitrag in der Forschung zu automatischer formeller Verifikation von Hard- und Software Systemen“ berufen.