Corina Păsăreanu

Corina S. Păsăreanu bụ ọkà mmụta sayensị kọmputa Romanian-American nwere njikọ na NASA Ames Research Center, na Carnegie Mellon University CyLab Security and Privacy Institute, yana KBR.[1]  Nchọpụta ya gụnyere usoro iwu, gụnyere ogbugbu ihe atụ na nkwenye nke sistemu ihe mejupụtara ya.  Ọ bụ onye dere akwụkwọ Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Springer, 2022).

 Agụmakwụkwọ 
Păsăreanu gụrụ sayensị kọmputa na Mahadum Politehnica nke Bucharest, ebe ọ nwetara nzere bachelọ na 1994 na nzere masta na 1995. O nwetara Ph.D. na 2001, na Kansas State University, na dessertation Abstraction na Modular Reasoning for the Verification of Software nke Matthew B. Dwyer na-elekọta. 

 Nkwenye 
N'afọ 2010, akwụkwọ nke Păsăreanu kwadoro na 1998 maka iwepụta ụdị njedebe steeti site na koodu kọmputa agbakọtara, nke kwesịrị ekwesị maka iji nyochaa ihe nlereanya, nwetara onyinye akwụkwọ kachasị emetụta site na Nzukọ Mba Nile na Software Engineering . 

Akpọrọ Păsăreanu aha dị ka onye otu ACM, na 2023 klas nke ibe, maka "ntụnye aka na mmepe na ntinye nke mmezu ihe atụ na nkwenye mejupụtara". 

 Edensibia 
{{Reflist|refs=

mathgenealogy|115175

 Njikọ mpụga 

 ibe

Òtù:Mmadụ ndi di ndụ