Yuriy Brun
Yuriy Brun | |
|---|---|
 | |
| Citizenship | American |
| Education | Massachusetts Institute of Technology (BS, MEng) University of Southern California (MS, PhD) |
| Known for | Software fairness testing Automated program repair Automated formal verification |
| Awards | IEEE Fellow (2025) ACM Distinguished Member (2019) |
| Scientific career | |
| Fields | Software Engineering Computer Science |
| Institutions | University of Massachusetts Amherst |
| Thesis | Self-assembly for discreet, fault-tolerant, and scalable computation on Internet-sized distributed networks (2008) |
| Nenad Medvidović | |
| Website | people |
Yuriy Brun is an American computer scientist and Professor in the Manning College of Information and Computer Sciences at the University of Massachusetts Amherst. His research focuses on software engineering, including software fairness, automated program repair, and formal verification. He was elevated to IEEE Fellow in 2025[1] and is a Distinguished Member of the ACM.[2]
Education
[edit]Brun received a Bachelor of Science in Computer Science and Engineering, a Bachelor of Science in Mathematics, and a Master of Engineering in Electrical Engineering and Computer Science, all from the Massachusetts Institute of Technology in 2003. He earned a Master of Science in Computer Science in 2006 and a Doctor of Philosophy in Computer Science in 2008, both from the University of Southern California, where his doctoral advisor was Nenad Medvidović. His dissertation was titled "Self-assembly for discreet, fault-tolerant, and scalable computation on Internet-sized distributed networks."
Career
[edit]After completing his doctorate, Brun held a Computing Innovation Fellowship at the University of Washington from 2009 to 2012, working with Professor David Notkin.[3] He joined the University of Massachusetts Amherst as a faculty member in 2012 and currently holds the rank of Professor. He co-directs the Laboratory for Advanced Software Engineering Research (LASER) and the PLASMA laboratory.
Brun serves as Associate Editor-in-Chief of IEEE Transactions on Software Engineering (TSE).
Research
[edit]Software fairness
[edit]Brun's research contributed to establishing software fairness—the study of discriminatory behavior in software systems—as a subfield of software engineering. His 2017 paper "Fairness Testing: Testing Software for Discrimination," co-authored with Alexandra Meliou,[4] introduced Themis, an automated tool for detecting discriminatory outputs in software, and received the ACM SIGSOFT Distinguished Paper Award at ESEC/FSE 2017. The IEEE Computer Society's Technical Council on Software Engineering awarded Brun the TCSE New Directions Award in 2021, citing his contribution "for the establishment of a new research direction in the area of software fairness testing."[5] The fairness research has been covered by Bloomberg,[6] Fast Company,[7] and ACM TechNews.[8]
For this work, Brun received the Google Inclusion Research Award in 2021[9] and a Meta Research Award in 2021 (with Philip Thomas).[10]
Automated program repair
[edit]Brun's work on speculative analysis—a technique that helps software developers anticipate and resolve conflicts before they arise during collaborative development—was identified in a 2015 survey of software engineering practitioners as the most industrially relevant research published in the preceding five years, among 571 papers examined.[11] His paper "Continuous Analysis of Collaborative Design,"[12] published at the 2017 IEEE International Conference on Software Architecture (ICSA), received the Best Paper Award.[13] His earlier paper "An Architectural Style for Solving Computationally Intensive Problems on Large Networks," co-authored with Nenad Medvidović,[14] received the ACM/IEEE SEAMS Most Influential Paper Award in 2020.[15][16]
Brun also contributed to the study of overfitting in automated program repair. His 2015 paper "Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair"[17] introduced methods for quantifying the degree to which automatically generated software patches fail to generalize beyond the test suite used to produce them. The paper received the ACM FSE Test of Time Honorable Mention Award in 2025.[18]
Automated formal verification
[edit]Brun has contributed to automating formal verification—the mathematical proof of software correctness—using machine learning. His 2020 paper "TacTok: Semantics-Aware Proof Synthesis"[19] received the ACM SIGPLAN Distinguished Paper Award at OOPSLA 2020. His 2023 paper "Baldur: Whole-Proof Generation and Repair with Large Language Models"[20] received the ACM SIGSOFT Distinguished Paper Award at ESEC/FSE 2023.[21] His 2025 paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification"[22] received the ACM SIGSOFT Distinguished Paper Award at ICSE 2025.[23]
Awards and honors
[edit]| Year | Award |
|---|---|
| 2025 | IEEE Fellow |
| 2025 | ACM FSE Test of Time Honorable Mention Award |
| 2025 | ACM SIGSOFT Distinguished Paper Award, ICSE 2025 |
| 2023 | ACM SIGSOFT Distinguished Paper Award, ESEC/FSE 2023 |
| 2022 | ACM SIGSOFT Distinguished Paper Award, ICSE 2022 |
| 2021 | IEEE Computer Society TCSE New Directions Award |
| 2021 | Google Inclusion Research Award |
| 2021 | Amazon Research Award |
| 2021 | Meta Research Award (with Philip Thomas) |
| 2020 | ACM/IEEE SEAMS Most Influential Paper Award |
| 2020 | ACM SIGSOFT Distinguished Artifact Award, ICSE 2020 |
| 2020 | ACM SIGPLAN Distinguished Paper Award, OOPSLA 2020 |
| 2019 | ACM Distinguished Member |
| 2017 | ACM SIGSOFT Distinguished Paper Award, ESEC/FSE 2017 |
| 2017 | IEEE ICSA Best Paper Award |
| 2017 | Lilly Fellowship for Teaching Excellence |
| 2017 | UMass Amherst College of Information and Computer Science Outstanding Teacher Award |
| 2015 | National Science Foundation CAREER Award |
| 2015 | Google Faculty Research Award |
| 2014 | Microsoft Research Software Engineering Innovation Foundation Award |
| 2013 | IEEE TCSC Young Achiever in Scalable Computing Award |
| 2011 | ACM SIGSOFT Distinguished Paper Award, ESEC/FSE 2011 |
References
[edit]- ↑ "2025 IEEE Fellows". IEEE Computer Society. Retrieved February 10, 2026.
- ↑ "ACM Distinguished Member Recipients". Retrieved February 10, 2026.
- ↑ "Yuriy Brun". Retrieved 10 February 2026.
- ↑ Fairness Testing: Testing Software for Discrimination. August 2017. pp. 498–510. doi:10.1145/3106237.3106277.
- ↑ "Brun Receives IEEE 2021 TCSE Distinguished Award". University of Massachusetts Amherst.
- ↑ "Look Who's Fighting Our Algorithmic Overlords". Bloomberg Opinion. August 30, 2017.
- ↑ "Is Your Software Secretly Racist? This New Tool Can Tell". Fast Company.
- ↑ "ACM TechNews, August 21, 2017". August 21, 2017.
- ↑ "Award for Inclusion Program (2020–2023)". Google Research.
- ↑ "Building Tools to Enhance Transparency in Fairness and Privacy: Award Recipients". Meta Research.
- ↑ Lo, David; Nagappan, Nachiappan; Zimmermann, Thomas (2015). How Practitioners Perceive the Relevance of Software Engineering Research. pp. 415–425. doi:10.1145/2786805.2786809.
- ↑ Continuous Analysis of Collaborative Design. April 2017. pp. 97–106. doi:10.1109/ICSA.2017.45.
- ↑ "Best Paper Award at ICSA 2017". 5 April 2017.
- ↑ Brun, Yuriy; Medvidović, Nenad (2007). "An Architectural Style for Solving Computationally Intensive Problems on Large Networks". International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07). p. 2. doi:10.1109/SEAMS.2007.4. ISBN 978-0-7695-2973-8. S2CID 1216395.
- ↑ "USC Computer Science Professor Wins Most Influential Paper Award".
- ↑ "CICS Professor Yuriy Brun Receives SEAMS 2020 Most Influential Paper Award". Manning College of Information & Computer Sciences. 25 March 2020.
- ↑ Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair. September 2015. pp. 532–543. doi:10.1145/2786805.2786825.
- ↑ "ACM FSE Test of Time Awards".
- ↑ TacTok: Semantics-Aware Proof Synthesis. November 2020. pp. 231:1–231:31. doi:10.1145/3428299.
- ↑ Baldur: Whole-Proof Generation and Repair with Large Language Models. December 2023. pp. 1229–1241. doi:10.1145/3611643.3616243.
- ↑ "ESEC/FSE 2023 Awards".
- ↑ Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. April 2025. pp. 347–359. doi:10.1109/ICSE55347.2025.00161.
- ↑ "ICSE 2025 Research Track".
