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.
Related posts

US Soldiers, Vets To Get Israeli-Made Helmets To Treat Depression

Israeli Startups Raise $1.6B in Q3, Indicating Stabilization - Report

Global Chip Maker Buying Renewable Energy From Israeli Firm

Facebook comments