Engage Research News Distinguished Lecturer Series Dean's Lecture Series Rising Stars in Computer Science Lecture Series
On-Campus Community, Outreach, and Organizational Learning Student Organizations Massenberg Summer STEM Program Awards Programs
Current Undergraduate Students Current Graduate Students Faculty and Staff Newly Accepted Undergraduate Students
Results (112) September 9, 2021 Research Brun Receives Amazon Research Award for Automated Formal Verification Professor Yuriy Brun is one of 26 recipients of a 2021 Amazon Research Award (ARA), which will fund his research on software formal verification. September 2, 2021 Awards Research Lee Selected as UMass ADVANCE Fellow Sunghoon Ivan Lee has been selected as one of 46 UMass Amherst ADVANCE program faculty fellows for 2021–2022. Pagination First page First page Previous page Previous page Page 8 Page 9 Page 10 Page 11 Current page 12
September 9, 2021 Research Brun Receives Amazon Research Award for Automated Formal Verification Professor Yuriy Brun is one of 26 recipients of a 2021 Amazon Research Award (ARA), which will fund his research on software formal verification.
September 2, 2021 Awards Research Lee Selected as UMass ADVANCE Fellow Sunghoon Ivan Lee has been selected as one of 46 UMass Amherst ADVANCE program faculty fellows for 2021–2022.