professor profile picture

Clark Barrett

Professor (Research)

Stanford University

Country flag

United States

Has grant

This profile is automatically generated from trusted academic sources.

Google Scholar

.

ORCID

.

LinkedIn

Social connections

How do Vietnamese students reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI

Contact this professor

LinkedIn
ORCID
Google Scholar

Research Interests

Mathematical Logic

20%

Algebra

10%

Model Checking

20%

Computational Complexity

20%

Logic Programming

10%

Optimization Theory

10%

Concurrency

10%

Ask ApplyKite AI

Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?

Recent Grants

Grant: Close

NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and Standardization

Open Date: 2022-10-01

Close Date: 2025-09-30

Grant: Close

NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification

Open Date: 2021-10-01

Close Date: 2024-09-30

Grant: Close

NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and Standardization

Open Date: 2021-01-01

Close Date:

Grant: Close

Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories

Open Date: 2020-06-01

Close Date: 2023-05-31

Grant: Close

NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification

Open Date: 2020-01-01

Close Date:

Collaborators5

Mykel Kochenderfer

Associate Professor

Stanford University

UNITED STATES

Cesare Tinelli

Professor

The University of Iowa

UNITED STATES

Aina Niemetz

Stanford University

UNITED STATES

Mathias Preiner

Stanford University

UNITED STATES

Gagandeep Singh

Assistant Professor

University of Illinois at Urbana-Champaign

UNITED STATES