NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

RSE Researcher Corina Pasareanu Named 2016 Distinguished Scientist By The Association For Computing Machinery
Intelligent Systems Division Banner

RSE Researcher Corina Pasareanu Named 2016 Distinguished Scientist By The Association For Computing Machinery

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, corina.s.pasareanu@nasa.gov

First Gov logo
NASA Logo - nasa.gov