Yuriy Brun
Professor at University of Massachusetts Amherst
Amherst, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolYuriy Brun is a professor of computer science at the University of Massachusetts Amherst with over a decade of academic and research experience focused on software engineering, automated program repair, and formal verification. He progressed through MIT and USC training to a Ph.D. and postdoctoral work, and has been on UMass faculty since 2012, becoming full professor in 2021. His research blends practical bug-fixing techniques with rigorous correctness proofs, bridging theory and tools that improve software reliability. Based in Amherst, he mentors graduate students and leads projects that translate formal methods into usable repair systems for real-world code. Beyond publications, his career path reflects sustained work at top institutions and an emphasis on turning deep research into practical, verifiable software fixes.
11 years of coding experience
15 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at University of Southern CaliforniaMaster of Engineering, Computer Science and Electrical Engineering, Master of Engineering, Computer Science and Electrical Engineering at Massachusetts Institute of TechnologyHolliston High SchoolMassachusetts Academy of Math and Science
Github Skills (25)
cnc10
cnc-controller10
ranking10
react9
science9
computer-science8
traffic8
benchmarking8
benchmark8
simulator7
testing7
simulation7
machine-learning6
abstract-syntax-tree6
latex5
Programming languages (5)
Github contributions (5)
LASER-UMASS/basic-stats
Oct 2017 - Oct 2017
Contributions:19 commits, 2 pushes in 1 day
toycnc-controllercnc
brunyuriy/adasim
Jul 2015 - Jan 2020
Adasim is a traffic simulator for self-adaptive systems
Contributions:4 commits, 1 PR, 4 pushes in 4 years 6 months
self-adaptive-systemstraffic-simulatoradaptivesimulationadaptive-systems
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.