Robust Software Engineering (RSE) Researcher Corina Pasareanu has been named by the Association for Computing Machinery (ACM) as a 2016 Distinguished Scientist "For contributions in symbolic execution and compositional verification". ACM selects members for individual achievements that expand scientific frontiers and advance the Digital Age. Read more here: ACM Recognizes Distinguished Members For Computing Innovations That Transform Society
BACKGROUND: The Association for Computing Machinery is the world's largest educational and scientific computing society, delivering resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing profession with leading-edge publications, conferences, and career resources.
NASA PROGRAM FUNDING: Safe Autonomous Systems Operations (SASO) project, Airspace Operations and Safety Program (AOSP), Aeronautics Research Mission Directorate (ARMD)
POINT OF CONTACT: Corina Pasareanu, email@example.com