Clark Barrett
Clark Barrett publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Adversarial Robustness in Machine Learning.
- World rank
- #17,184 of 1,633,909 ranked researchers
- Rank in United States
- #8,186 of 358,040
- Works
- 67
- Citations
- 770
- Citations per work
- 11.5
What does Clark Barrett research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence32% of their works
- 2Computational Theory and Mathematics16% of their works
- 3Hardware and Architecture12% of their works
- 4Electrical and Electronic Engineering10% of their works
- 5Software9% of their works
- 6General Health Professions4% of their works
Research topics
- Formal Methods in Verification
- Logic, programming, and type systems
- Adversarial Robustness in Machine Learning
- Radiation Effects in Electronics
- Security and Verification in Computing
- Physical Unclonable Functions (PUFs) and Hardware Security
- Software Testing and Debugging Techniques
- VLSI and Analog Circuit Testing
Which keywords describe Clark Barrett's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Adversarial Examples, Deep Learning and Radiation Effects.
- Embedded Cores
- Side-Channel Attacks
- Physical Unclonable Functions
- Automated Testing
- Radiation Effects
- Adversarial Examples
- Formal Verification
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Static Analysis
- Deep Learning
- Soft Errors
- Hardware Trojans
- Security Policies
- Software Fault Localization
- Test Data Compression
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Model Checking242 topics
- Satisfiability Modulo Theories141 topic
- Symbolic Model Checker141 topic
- Formal Verification101 topic
- Static Analysis101 topic
- Adversarial Examples61 topic
- Deep Learning61 topic
- Radiation Effects61 topic
- Soft Errors61 topic
- Automated Testing51 topic
- Hardware Trojans51 topic
- Physical Unclonable Functions51 topic
- Security Policies51 topic
- Side-Channel Attacks51 topic
- Software Fault Localization51 topic
- Embedded Cores31 topic
- Test Data Compression31 topic
Where does Clark Barrett work?
Clark Barrett's main affiliation in the publication record is Stanford University, United States.
How many publications and citations does Clark Barrett have?
Science Explorer counts 67 works and 770 citations for Clark Barrett, ranking #17,184 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.