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 (4)
javascript9
java1
representations1
reference-implementation1
Programming languages (7)
Github contributions (5)
barghouthi/barghouthi.github.io
Feb 2016 - Jan 2023
Contributions:2 PRs, 87 pushes, 2 branches in 7 years
barghouthi/blog
Apr 2017 - Aug 2024
Contributions:45 pushes, 2 branches, 2 issues in 7 years 5 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.