Clark Barrett

Clark Barrett Research Interests: Propositional satisfiability (SAT); Satisfiability modulo theories (SMT); Automated reasoning and applied logic; Automated proof generation and checking; Formal and semi-formal verification of hardware and software; Applications of automated reasoning to security.

Career

Cosigned byLoading...

CosignedSign in to view

Based in: Stanford-le-Hope
Elsewhere

Stanford University

PhD

Brigham Young University

Bachelor's studies in electrical

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Clark Barrett

Stanford University

Brigham Young University

Curated Lists

List Inclusions