Orna Grumberg ACM Fellows (2015) ACM Fellows Israel - 2015 citation For contributions to research in automated formal verification of hardware and software systems.