Corina S. Pasareanu

Over de Auteur

Corina S. Pasareanu is a prominent figure in the field of computer science, particularly known for her work on software safety and security. She has contributed significantly to the understanding of symbolic execution and quantitative reasoning, which are essential for ensuring the reliability of software systems. Her research often intersects with theoretical aspects of computing, making her a vital contributor to both practical and academic discussions in the field.