Orna Grumberg and Assaf Schuster Named ACM Fellows
Professors Orna Grumberg and Assaf Schuster of the Faculty of Computer Science have been recognized as Fellows by the ACM – the world’s largest computing machinery association
Professor Orna Grumberg
The ACM (Association for Computing Machinery), the largest and most important computing society, has announced the addition of 42 scientists from around the world to its ranks as new fellows, including Professors Orna Grumberg and Assaf Schuster of the Technion Faculty of Computer Science. The Fellows Program of the global computing society was founded in order to recognize 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. She is one of the three authors of Model Checking – a book considered the bible of Computer Aided Verification. She has been a member of the European Academy of Sciences since October 2013.
Prof. Assaf Schuster
Prof. Assaf Schuster researches parallel, decentralized, cloud-based computing and scalability of calculations. Professor Schuster said, “My significant focus is Big Data processing, particularly of data streams in real time, even if they arrive in a geographically dispersed fashion. Examples of such systems can be found in sensor networks, monitoring large/decentralized computer networks, and detection and prevention of computer network vulnerabilities.
“This is an impressive achievement, and our pride is twofold when two faculty members are named ACM Fellows. We admire them and wish them much success in their future endeavors,” said Professor Irad Yavneh, Dean of the Technion Faculty of Computer Science.
Professors Schuster and Grumberg 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.