{"id":11,"date":"2011-03-02T20:26:13","date_gmt":"2011-03-02T20:26:13","guid":{"rendered":"http:\/\/picus.org.il\/wp-shmuel\/?page_id=11"},"modified":"2019-05-13T07:22:59","modified_gmt":"2019-05-13T07:22:59","slug":"background","status":"publish","type":"page","link":"https:\/\/ur-innovation.com\/?page_id=11","title":{"rendered":"Credentials"},"content":{"rendered":"<h2>Experience Summary<\/h2>\n<ul>\n<li>Ph.D. at Carnegie Mellon University in 1994 under Herbert Simon (Nobel Prize and Turing award winner) and Mike Trick<\/li>\n<li>16 years at IBM as Master Inventor and architect in the area of software engineering with emphasis on coverage, concurrency, and review<\/li>\n<li>More than 60 publications in conferences and journals<\/li>\n<li>More than 120 registered patents and more than 150 patents pending<\/li>\n<li>Teaching experience including numerous presentations, courses, and tutorials at conferences, universities, and companies<\/li>\n<\/ul>\n<h2>Academic Degrees<\/h2>\n<ul>\n<li>1994 Ph.D. and 1992\u00a0 M.Sc. in Algorithms, Combinatorics, and Optimization:<br \/>\nCarnegie Mellon University<\/li>\n<li>1990 M.Sc. and 1987 B.Sc. in Computer Science:<br \/>\nTechnion \u2013 Israel Institute of Technology, Haifa, Israel<\/li>\n<\/ul>\n<h2>Research Interests<\/h2>\n<ul>\n<li>Testing and healing concurrent systems<\/li>\n<li>Review, debugging, and other developer quality activities<\/li>\n<li>Hardware design verification<\/li>\n<li>Coverage methodologies, techniques, and tools for hardware and software testing<\/li>\n<li>Coverage directed test generation<\/li>\n<li>Many aspects of innovation<\/li>\n<li>Application of formal verification to software testing and hardware verification<\/li>\n<\/ul>\n<h2>Contributions<\/h2>\n<p>Dr. Shmuel Ur is well-renowned in industry and academia for his contributions to innovative ideas, software engineering, patent delivery, and hardware and software verification.<\/p>\n<p>Click to read details:<\/p>\n<ul>\n<li>Refereed <a href=\"?page_id=29\">papers<\/a> in professional journals<\/li>\n<li><a href=\"?page_id=32\">Patents<\/a><\/li>\n<li>Refereed <a href=\"?page_id=34\">papers in conference proceedings<\/a><\/li>\n<li>Participation in <a href=\"?page_id=47\">organizing conferences<\/a><\/li>\n<li><a href=\"?page_id=36\">Full-day tutorials in conferences<\/a><\/li>\n<li><a href=\"?page_id=38\">Invited talks<\/a> &#8212; a selection<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Experience Summary Ph.D. at Carnegie Mellon University in 1994 under Herbert Simon (Nobel Prize and Turing award winner) and Mike Trick 16 years at IBM as Master Inventor and architect in the area of software engineering with emphasis on coverage, &hellip; <a href=\"https:\/\/ur-innovation.com\/?page_id=11\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-11","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/pages\/11","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ur-innovation.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=11"}],"version-history":[{"count":15,"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/pages\/11\/revisions"}],"predecessor-version":[{"id":27,"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/pages\/11\/revisions\/27"}],"wp:attachment":[{"href":"https:\/\/ur-innovation.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=11"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}