{"id":84070,"date":"2015-12-23T13:05:58","date_gmt":"2015-12-23T11:05:58","guid":{"rendered":"https:\/\/www.technion.ac.il\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/"},"modified":"2015-12-23T13:05:58","modified_gmt":"2015-12-23T11:05:58","slug":"orna-grumberg-and-assaf-schuster-named-acm-fellows","status":"publish","type":"post","link":"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/","title":{"rendered":"Orna Grumberg and Assaf Schuster Named ACM Fellows"},"content":{"rendered":"

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<\/h2>\n
\"Professor<\/a>
Professor Orna Grumberg<\/figcaption><\/figure>\n

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.<\/span><\/strong><\/p>\n

Prof. Orna Grumberg<\/strong><\/span><\/a> 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.<\/span><\/p>\n

\"Professor<\/a>
Prof. Assaf Schuster<\/figcaption><\/figure>\n

Prof. Assaf Schuster<\/strong> <\/span><\/a>researches parallel, decentralized, cloud-based computing and scalability of calculations. Professor Schuster said, \u201cMy 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.<\/span><\/p>\n

\u201cThis 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,\u201d said Professor Irad Yavneh, Dean of the Technion Faculty of Computer Science.<\/span><\/p>\n

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.<\/span><\/p>\n

ACM Website<\/span><\/strong><\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

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 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… Continue Reading Orna Grumberg and Assaf Schuster Named ACM Fellows<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[24],"tags":[],"class_list":["post-84070","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"acf":[],"yoast_head":"\nOrna Grumberg and Assaf Schuster Named ACM Fellows - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Orna Grumberg and Assaf Schuster Named ACM Fellows - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc\" \/>\n<meta property=\"og:description\" content=\"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 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… Continue Reading Orna Grumberg and Assaf Schuster Named ACM Fellows\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/\" \/>\n<meta property=\"og:site_name\" content=\"\u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc\" \/>\n<meta property=\"article:published_time\" content=\"2015-12-23T11:05:58+00:00\" \/>\n<meta name=\"author\" content=\"shlomi ben-oz\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"shlomi ben-oz\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/\",\"url\":\"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/\",\"name\":\"Orna Grumberg and Assaf Schuster Named ACM Fellows - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc\",\"isPartOf\":{\"@id\":\"https:\/\/www.technion.ac.il\/en\/#website\"},\"datePublished\":\"2015-12-23T11:05:58+00:00\",\"author\":{\"@id\":\"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/d65b78b7a7446bdf9fb69078573b8320\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home Page\",\"item\":\"https:\/\/www.technion.ac.il\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Orna Grumberg and Assaf Schuster Named ACM Fellows\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/#website\",\"url\":\"https:\/\/www.technion.ac.il\/en\/\",\"name\":\"\u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.technion.ac.il\/en\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/d65b78b7a7446bdf9fb69078573b8320\",\"name\":\"shlomi ben-oz\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/5b97bb3947cb26db7c002c11fa0f50454ced53af5f27e730cc60fec87ae78347?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/5b97bb3947cb26db7c002c11fa0f50454ced53af5f27e730cc60fec87ae78347?s=96&d=mm&r=g\",\"caption\":\"shlomi ben-oz\"},\"url\":\"https:\/\/www.technion.ac.il\/en\/blog\/author\/ben-ozshlomitechnion-ac-il\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Orna Grumberg and Assaf Schuster Named ACM Fellows - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/","og_locale":"en_US","og_type":"article","og_title":"Orna Grumberg and Assaf Schuster Named ACM Fellows - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","og_description":"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 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… Continue Reading Orna Grumberg and Assaf Schuster Named ACM Fellows","og_url":"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/","og_site_name":"\u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","article_published_time":"2015-12-23T11:05:58+00:00","author":"shlomi ben-oz","twitter_card":"summary_large_image","twitter_misc":{"Written by":"shlomi ben-oz","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/","url":"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/","name":"Orna Grumberg and Assaf Schuster Named ACM Fellows - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","isPartOf":{"@id":"https:\/\/www.technion.ac.il\/en\/#website"},"datePublished":"2015-12-23T11:05:58+00:00","author":{"@id":"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/d65b78b7a7446bdf9fb69078573b8320"},"breadcrumb":{"@id":"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.technion.ac.il\/en\/blog\/orna-grumberg-and-assaf-schuster-named-acm-fellows\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home Page","item":"https:\/\/www.technion.ac.il\/en\/"},{"@type":"ListItem","position":2,"name":"Orna Grumberg and Assaf Schuster Named ACM Fellows"}]},{"@type":"WebSite","@id":"https:\/\/www.technion.ac.il\/en\/#website","url":"https:\/\/www.technion.ac.il\/en\/","name":"\u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.technion.ac.il\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/d65b78b7a7446bdf9fb69078573b8320","name":"shlomi ben-oz","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/5b97bb3947cb26db7c002c11fa0f50454ced53af5f27e730cc60fec87ae78347?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/5b97bb3947cb26db7c002c11fa0f50454ced53af5f27e730cc60fec87ae78347?s=96&d=mm&r=g","caption":"shlomi ben-oz"},"url":"https:\/\/www.technion.ac.il\/en\/blog\/author\/ben-ozshlomitechnion-ac-il\/"}]}},"_links":{"self":[{"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/posts\/84070","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/comments?post=84070"}],"version-history":[{"count":0,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/posts\/84070\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/media?parent=84070"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/categories?post=84070"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/tags?post=84070"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}