Skip to main content
For news media
Aws Albarghouthi

Aws Albarghouthi

Albarghouthi studies the art and science of analyzing software and automatically producing software that is correct.

Assistant Professor, Computer Sciences College of Letters and Science Work: 608-262-7946 — Home and cell phones available upon request Home page Twitter: @awsTO


  • Programming languages
  • Software verification
  • Program synthesis


  • NSF CAREER Award 2017