Make a Gift
Professor Yuriy received a $615,852 NSF Grant for the topic of automatically verifying software to ensure it doesn't have vulnerabilities."Toward Fully Automated Formal SoftwareVerification."
https://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.nsf.gov%2Fawardsearch%2FshowAward%3FAWD_ID%3D2210243&data=05%7C01%7Cnancy.fontes%40umass.edu%7C7ee362e7f0de417333d108db7d8a9fd1%7C7bd08b0b33954dc194bbd0b2e56a497f%7C0%7C0%7C638241806686022044%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=8Ztq6Ih0fdPU8k9nsoDwMCRB5UCvA2Jvwj4TT%2Fufhqw%3D&reserved=0
Join Our Mailing List
