{"id":411,"date":"2024-11-20T17:59:55","date_gmt":"2024-11-20T16:59:55","guid":{"rendered":"https:\/\/spaceraise.academy\/pasteditions\/2025\/?post_type=people&p=411"},"modified":"2024-12-02T12:32:53","modified_gmt":"2024-12-02T11:32:53","slug":"corina-pasarenau","status":"publish","type":"people","link":"https:\/\/spaceraise.academy\/pasteditions\/2025\/speaker\/corina-pasarenau\/","title":{"rendered":"Corina Pasarenau"},"content":{"rendered":"

Corina Pasareanu is an ACM Fellow and an IEEE ASE Fellow, working at NASA Ames. She is affiliated with KBR and Carnegie Mellon University’s CyLab. Her research interests include model checking, symbolic execution, compositional verification, probabilistic software analysis, autonomy, and security. She is the recipient of several awards, including ETAPS Test of Time Award (2021), ASE Most Influential Paper Award (2018), ESEC\/FSE Test of Time Award (2018), ISSTA Retrospective Impact Paper Award (2018), ACM Impact Paper Award (2010), and ICSE 2010 Most Influential Paper Award (2010). She has been serving as Program\/General Chair for several conferences including: ICSE 2025, SEFM 2021, FM 2021, ICST 2020, ISSTA 2020, ESEC\/FSE 2018, CAV 2015, ISSTA 2014, ASE 2011, and NFM 2009. She is on the steering committees for the ICSE, TACAS and ISSTA conferences. She is currently an associate editor for IEEE TSE and for STTT, Springer Nature.<\/p>\n","protected":false},"featured_media":478,"menu_order":0,"template":"","meta":{"_acf_changed":false},"affiliation":[12,13],"tech-area":[],"foundation-role":[],"class_list":["post-411","people","type-people","status-publish","has-post-thumbnail","hentry"],"acf":[],"yoast_head":"\nCorina Pasarenau - SPACERAISE<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Corina Pasarenau - SPACERAISE\" \/>\n<meta property=\"og:description\" content=\"Corina Pasareanu is an ACM Fellow and an IEEE ASE Fellow, working at NASA Ames. She is affiliated with KBR and Carnegie Mellon University’s CyLab. Her research interests include model checking, symbolic execution, compositional verification, probabilistic software analysis, autonomy, and security. She is the recipient of several awards, including ETAPS Test of Time Award (2021),…\" \/>\n<meta property=\"og:url\" content=\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/\" \/>\n<meta property=\"og:site_name\" content=\"SPACERAISE\" \/>\n<meta property=\"article:modified_time\" content=\"2024-12-02T11:32:53+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/11\/Corina-Pasareanu.png\" \/>\n\t<meta property=\"og:image:width\" content=\"358\" \/>\n\t<meta property=\"og:image:height\" content=\"444\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/\",\"url\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/\",\"name\":\"Corina Pasarenau - SPACERAISE\",\"isPartOf\":{\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/11\/Corina-Pasareanu.png\",\"datePublished\":\"2024-11-20T16:59:55+00:00\",\"dateModified\":\"2024-12-02T11:32:53+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#primaryimage\",\"url\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/11\/Corina-Pasareanu.png\",\"contentUrl\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/11\/Corina-Pasareanu.png\",\"width\":358,\"height\":444},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Corina Pasarenau\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/#website\",\"url\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/\",\"name\":\"SPACERAISE\",\"description\":\"The "International Doctoral School" for the Space Sector\",\"publisher\":{\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/#organization\",\"name\":\"SPACERAISE\",\"url\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/10\/spaceraise_V_black.svg\",\"contentUrl\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/10\/spaceraise_V_black.svg\",\"width\":\"1024\",\"height\":\"1024\",\"caption\":\"SPACERAISE\"},\"image\":{\"@id\":\"https:\/\/spaceraise.academy\/pasteditions\/2025\/#\/schema\/logo\/image\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Corina Pasarenau - SPACERAISE","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/","og_locale":"en_US","og_type":"article","og_title":"Corina Pasarenau - SPACERAISE","og_description":"Corina Pasareanu is an ACM Fellow and an IEEE ASE Fellow, working at NASA Ames. She is affiliated with KBR and Carnegie Mellon University’s CyLab. Her research interests include model checking, symbolic execution, compositional verification, probabilistic software analysis, autonomy, and security. She is the recipient of several awards, including ETAPS Test of Time Award (2021),…","og_url":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/","og_site_name":"SPACERAISE","article_modified_time":"2024-12-02T11:32:53+00:00","og_image":[{"width":358,"height":444,"url":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/11\/Corina-Pasareanu.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/","url":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/","name":"Corina Pasarenau - SPACERAISE","isPartOf":{"@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/#website"},"primaryImageOfPage":{"@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#primaryimage"},"image":{"@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#primaryimage"},"thumbnailUrl":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/11\/Corina-Pasareanu.png","datePublished":"2024-11-20T16:59:55+00:00","dateModified":"2024-12-02T11:32:53+00:00","breadcrumb":{"@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#primaryimage","url":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/11\/Corina-Pasareanu.png","contentUrl":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/11\/Corina-Pasareanu.png","width":358,"height":444},{"@type":"BreadcrumbList","@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/people\/corina-pasarenau\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/spaceraise.academy\/pasteditions\/2025\/"},{"@type":"ListItem","position":2,"name":"Corina Pasarenau"}]},{"@type":"WebSite","@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/#website","url":"https:\/\/spaceraise.academy\/pasteditions\/2025\/","name":"SPACERAISE","description":"The "International Doctoral School" for the Space Sector","publisher":{"@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/spaceraise.academy\/pasteditions\/2025\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/#organization","name":"SPACERAISE","url":"https:\/\/spaceraise.academy\/pasteditions\/2025\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/#\/schema\/logo\/image\/","url":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/10\/spaceraise_V_black.svg","contentUrl":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-content\/uploads\/2024\/10\/spaceraise_V_black.svg","width":"1024","height":"1024","caption":"SPACERAISE"},"image":{"@id":"https:\/\/spaceraise.academy\/pasteditions\/2025\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-json\/wp\/v2\/people\/411","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-json\/wp\/v2\/people"}],"about":[{"href":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-json\/wp\/v2\/types\/people"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-json\/wp\/v2\/media\/478"}],"wp:attachment":[{"href":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-json\/wp\/v2\/media?parent=411"}],"wp:term":[{"taxonomy":"affiliation","embeddable":true,"href":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-json\/wp\/v2\/affiliation?post=411"},{"taxonomy":"tech-area","embeddable":true,"href":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-json\/wp\/v2\/tech-area?post=411"},{"taxonomy":"foundation-role","embeddable":true,"href":"https:\/\/spaceraise.academy\/pasteditions\/2025\/wp-json\/wp\/v2\/foundation-role?post=411"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}