Claire Le Goues
Professor at Carnegie Mellon University School of Computer Science
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolClaire Le Goues is a Professor of Computer Science at Carnegie Mellon University with 17 years of experience focused on software engineering and programming languages, particularly on building, evolving, debugging, and assuring high-quality software systems. As Associate Department Head for Faculty in the Software and Societal Systems Department, she blends deep research insight with academic leadership and a track record of mentoring researchers and shaping faculty priorities. Her work bridges rigorous program analysis and practical tools that help developers maintain and improve real-world codebases, reflecting a commitment to both theory and impact. Trained at Harvard (BA) and the University of Virginia (MS, PhD), she brings a long-standing interest in how automated techniques can make software more dependable—often revealing subtle, systemic causes of bugs rather than just fixing symptoms.
17 years of coding experience
12 years of employment as a software developer
Bachelor of Arts (BA), Computer Science, Bachelor of Arts (BA), Computer Science at Harvard UniversityDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Virginia
Github Skills (77)
repair10
applet9
istanbul8
science8
historical8
ranking8
testing7
computer-science7
java-bytecode7
slice7
jvm-bytecode7
reflection7
react7
alfresco6
intermediate6
Programming languages (10)
Github contributions (5)
squaresLab/genprog-code
Aug 2008 - Sep 2021
GenProg: heuristic, GP-based automatic program repair for C.
Contributions:4 releases, 1 review, 1337 commits in 13 years 2 months
heuristicrepairprogram-repair
CMU-program-analysis/CMU-program-analysis.github.io
Jan 2017 - Jan 2023
Contributions:119 commits, 96 pushes, 1 branch in 6 years 1 month
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.