GradNova

C

Clark Barrett

Mizuki Asano and Thomas McGrath Professor

Computer Science, Stanford University

Research Interests

Adversarial Robustness in Machine Learning

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Software Testing and Debugging Techniques

Academic Metrics

Links

Grants