Yuriy Brun

Yuriy Brun
CitizenshipAmerican
EducationMassachusetts Institute of Technology (BS, MEng)
University of Southern California (MS, PhD)
Known forSoftware fairness testing
Automated program repair
Automated formal verification
AwardsIEEE Fellow (2025)
ACM Distinguished Member (2019)
Scientific career
FieldsSoftware Engineering
Computer Science
InstitutionsUniversity of Massachusetts Amherst
Thesis Self-assembly for discreet, fault-tolerant, and scalable computation on Internet-sized distributed networks  (2008)
Nenad Medvidović
Websitepeople.cs.umass.edu/~brun

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

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

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

Software fairness

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

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

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

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

  1. ^ "2025 IEEE Fellows". IEEE Computer Society. Retrieved February 10, 2026.
  2. ^ "ACM Distinguished Member Recipients". Retrieved February 10, 2026.
  3. ^ "Yuriy Brun". Retrieved 10 February 2026.
  4. ^ Fairness Testing: Testing Software for Discrimination. August 2017. pp. 498–510. doi:10.1145/3106237.3106277.
  5. ^ "Brun Receives IEEE 2021 TCSE Distinguished Award". University of Massachusetts Amherst.
  6. ^ "Look Who's Fighting Our Algorithmic Overlords". Bloomberg Opinion. August 30, 2017.
  7. ^ "Is Your Software Secretly Racist? This New Tool Can Tell". Fast Company.
  8. ^ "ACM TechNews, August 21, 2017". August 21, 2017.
  9. ^ "Award for Inclusion Program (2020–2023)". Google Research.
  10. ^ "Building Tools to Enhance Transparency in Fairness and Privacy: Award Recipients". Meta Research.
  11. ^ Lo, David; Nagappan, Nachiappan; Zimmermann, Thomas (2015). How Practitioners Perceive the Relevance of Software Engineering Research. pp. 415–425. doi:10.1145/2786805.2786809.
  12. ^ Continuous Analysis of Collaborative Design. April 2017. pp. 97–106. doi:10.1109/ICSA.2017.45.
  13. ^ "Best Paper Award at ICSA 2017". 5 April 2017.
  14. ^ 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.
  15. ^ "USC Computer Science Professor Wins Most Influential Paper Award".
  16. ^ "CICS Professor Yuriy Brun Receives SEAMS 2020 Most Influential Paper Award". Manning College of Information & Computer Sciences. 25 March 2020.
  17. ^ Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair. September 2015. pp. 532–543. doi:10.1145/2786805.2786825.
  18. ^ "ACM FSE Test of Time Awards".
  19. ^ TacTok: Semantics-Aware Proof Synthesis. November 2020. pp. 231:1–231:31. doi:10.1145/3428299.
  20. ^ Baldur: Whole-Proof Generation and Repair with Large Language Models. December 2023. pp. 1229–1241. doi:10.1145/3611643.3616243.
  21. ^ "ESEC/FSE 2023 Awards".
  22. ^ Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. April 2025. pp. 347–359. doi:10.1109/ICSE55347.2025.00161.
  23. ^ "ICSE 2025 Research Track".

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.