Technion Profs Recognized By Association For Computing Machinery

December 29, 2015 | Computer Science Profs. Orna Grumberg and Assaf Schuster from the Technion Israel Institute of Technology have been recognized as Fellows by the Association for Computing Machinery (ACM) – the world’s largest computing machinery association, which recognizes outstanding contributions by leaders in the computing world. Prof. Orna Grumberg conducts research on theory and verification of computer hardware and software (Computer Aided Verification – CAV), for automatic testing of complex systems, while Prof. Assaf Schuster researches parallel, decentralized, cloud-based computing and scalability of calculations. The Technion professors are two out of three Israelis who were recognized this year by the ACM. The third Israeli, Prof. Mooly Sagiv of Tel Aviv University, is a graduate of the Technion Faculty of Computer Science, where he also earned his doctorate.