Clark Barrett

ACM Fellows

USA - 2024

citation

For contributions to the theory, implementation, and application of SMT solving.

Press Release

ACM Distinguished Member

USA - 2014