Corina Păsăreanu
| ụdịekere | nwanyị  |
|---|---|
| aha enyere | Corina |
| asụsụ ọ na-asụ, na-ede ma ọ bụ were na-ebinye aka | Bekee |
| ọrụ ọ na-arụ | ọkà mmụta sayensị kọmputa, university teacher |
| ebe agụmakwụkwọ | Kansas State University |
| onye ndụmọdụ doctoral | Matthew B. Dwyer |
| Onye òtù nke | Association for Computing Machinery |
| Ihe nrite | ACM Fellow |
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ọ
deziePă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. [1]
Nkwenye
dezieN'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 . [2]
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". [3]
Edensibia
dezie- ↑ Templeeti:Mathgenealogy
- ↑ "ICSE Most Influential Paper Award", SIGSOFT, Association for Computing Machinery, retrieved 2024-01-25
- ↑ "2023 ACM Fellows Celebrated for Contributions to Computing That Underpin Our Daily Lives", Media center, Association for Computing Machinery, retrieved 2024-01-25
<ref> tag with name "cylab" defined in <references> is not used in prior text.Njikọ mpụga
dezie- ibe
- Corina Păsăreanu