Skip to main content
University of Massachusetts Amherst

Make a Gift

  • About
    • College of Information and Computer Sciences
    • College of Engineering Electrical and Computer
    • Employment
    • Contact
  • PEOPLE
    • Faculty/ Research Scientists Directory
  • Academics
    • M.S. Concentration in Security
    • Security Courses Schedule
    • Graduate Certificate in Information Security
    • Undergraduate Certificate in Information Security
    • ECE Security Engineering
    • Scholarship for Service (SFS)
  • Research
    • Research Groups
  • News & Events
    • Events Calendar
    • News
    • Cybersecurity Institute Hackathons
    • Past Security Speakers
    • Security Seminars
    • New England Security Day 2026
  • Resources
    • Mass AGO Internship Info
    • Veteran Benefits
    • Compute Clusters
    • Cybersecurity Competition Team
    • Cybersecurity Club
Home Brun Received $615,852 NSF Grant

 

Brun Received $615,852 NSF Grant

August 31, 2022

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

Upcoming Events

24 Oct
Special Event
UMass Rescue Lab Hackathon
LGRC A112
(All day)

Researchers and students from the UMass Amherst Rescue Lab  

27 Mar
Special Event
New England Security Day 2026
Computer Science Room 150/151
(All day)

New England Hardware Security (NEHWS) Day brings together many students, researchers, practitione

Join Our Mailing List

Manning College of Information and Computer Sciences | 140 Governors Dr., Amherst, MA 01003 | Inquiries

© 2019 University of Massachusetts Amherst • Site Policies