Aws Albarghouthi
Associate Professor Of Computer Science
Madison, Wisconsin, United States
Summary
👤
Senior🎓
Top SchoolAws Albarghouthi is an associate professor of computer science at UW–Madison and a researcher who combines formal methods and programming-language techniques to tackle automated verification, synthesis, privacy, fairness, and ML-correctness problems. Over a decade of research and industry collaboration— including roles at AWS as Principal Applied Scientist and Amazon Scholar—he translates theoretical advances into practical tools and receives frequent best-paper recognition. His group’s alumni populate top academic labs and industry teams, reflecting his mentorship and impact on translating verification research into deployable systems. Unusually for an academic, he has alternated sustained academic leadership with embedded industry positions focused on generative AI, agent security, and privacy engineering, giving him a rare view across research, product, and adversarial evaluation.
10 years of coding experience
9 years of employment as a software developer
BEng, Software Engineering, BEng, Software Engineering at McMaster UniversityPhD, Computer Science, PhD, Computer Science at University of Toronto
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
programming-language9
quantum-computing4
linear-algebra4
ai-agent2
monte-carlo2
representations1
algorithms1
dafny1
java1
Programming languages (8)
Github contributions (5)
barghouthi/cs704
Jan 2018 - Apr 2022
CS 704 course website - Principles of Programming Languages
Contributions:262 commits, 2 PRs, 224 pushes in 4 years 3 months
programming-languageprogramming-languagesgraduate-course
barghouthi/blog
Apr 2017 - Jun 2026
Contributions:46 pushes, 2 branches, 2 issues in 9 years 2 months
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.