Skip to content

Scientist · Computer Science

Clark Barrett

Truth Initiative, Washington, United States

iD0000-0002-9522-3084

Citations, last 5 years: 1 230
Works, last 5 years: 118
h-index: 44
Citations, all time: 11.2k
In Computer Science: #5,624

Research topics

Formal Methods in Verification261Computer Science
Logic, programming, and type systems215Computer Science
Software Testing and Debugging Techniques123Computer Science
Constraint Satisfaction and Optimization33Computer Science
Polynomial and algebraic computation30Computer Science

Recent works

Discussion

Ask Clark about their research. When the scientist claims this card, they will see your question.

Start a discussion