Skip to main content
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 aws@cs.wisc.edu Home page Twitter: @awsTO

Topics

  • Programming languages
  • Software verification
  • Program synthesis

Achievements

  • NSF CAREER Award 2017