Corina Păsăreanu
id:
corina-p-s-reanu-217-4105692
title:
Corina Păsăreanu
text:
Corina S. Păsăreanu is a Romanian-American computer scientist with affiliations at the NASA Ames Research Center, with the Carnegie Mellon University CyLab Security and Privacy Institute, and with KBR. Her research involves formal methods, including symbolic execution and the verification of systems of interacting components. She is the author of the book Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security.
brand slug:
wiki
category slug:
encyclopedia
description:
Romanian-American computer scientist
original url:
https://en.wikipedia.org/wiki/Corina_P%C4%83s%C4%83reanu
date created:
2024-01-25T20:53:21Z
date modified:
2024-09-13T07:41:07Z
main entity:
{"identifier":"Q102314813","url":"https://www.wikidata.org/entity/Q102314813"}
image:
fields total:
13
integrity:
15