yuhak.phd

미국 이공계 대학원 유학 길잡이

교수 정보를 불러오는 중이에요.

© 2026 yuhak.phd

서비스 소개 이용약관 개인정보처리방침

Clark Barrett - Stanford University 교수

Stanford UniversityS 티어Full Professor

Clark Barrett

Corbel Professor · CS

공식 프로필 Scholar 검색

논문: 414
총 인용: 11,831
h-index: 47
최근 5년 논문: 136

연구 분야

Formal Methods in Verification49%
Logic, programming, and type systems27%
Explainable Artificial Intelligence (XAI)4%
Reinforcement Learning in Robotics2%
Robot Manipulation and Learning2%
Constraint Satisfaction and Optimization2%

최근 5년 논문에서 각 분야가 차지하는 비중 (OpenAlex 분류)

진행 중인 연구비

진행 중인 NSF·NIH 과제가 확인되지 않았어요.

NSF·NIH 공개 데이터에서 교수 이름과 소속으로 자동 매칭한 책임연구자(PI) 과제예요. 국방부·에너지부·기업·재단 연구비는 포함되지 않아요. NSF는 과제 총액, NIH는 최근 회계연도 금액이에요. (2026년 10월 29일 확인)

대표 논문

1
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz, Clark Barrett, David L. Dill, Kyle D. Julian, Mykel J. Kochenderfer
Lecture notes in computer science · 2017인용 1,704회논문 보기
2
Satisfiability Modulo Theories
Clark Barrett, Cesare Tinelli
Springer eBooks · 2018인용 1,123회논문 보기
3
The SMT-LIB Standard Version 2.0
Clark Barrett, Aaron Stump, Cesare Tinelli
2010인용 698회논문 보기
4
CVC4
Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, …
Lecture notes in computer science · 2011인용 655회논문 보기
5
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle D. Julian, Christopher Lazarus, Rachel Lim, …
Lecture notes in computer science · 2019인용 517회논문 보기

연도별 논문 수

최근에도 활발히 연구하는지 한눈에 볼 수 있어요.

1517

1518

2119

1920

2421

2722

3523

3524

3325

5426

이 교수에게 컨택하기 전에

내 연구와 핏 분석하기 컨택 메일 첨삭 받기 (무료)

소속 · 링크

Stanford University
CS · Corbel Professor
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문When Do Intrinsic Rewards Lead to Exploration?(2026)
새 논문Stochastic World Models for Verifying Vision-Based Neural Feedback Systems(2026)
새 논문Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems(2026)

경력 (논문 소속 기준)

Stanford University2016–현재
Courant Institute of Mathematical Sciences2005–2007
New York University2003–2016
Stanford University1996–2002

논문에 적힌 소속을 연도별로 모은 것이라 박사·박사후 과정과 방문연구가 함께 보여요. 임용 날짜는 아니에요.

자주 함께 연구하는 사람

Cesare Tinelli
Haoze WuAmherst College
Andrew Reynolds
Haniel Barbosa
Yoni ZoharBar-Ilan University

최근 5년 공저 논문 기준

지원할 수 있는 프로그램

Computer Science (MS)MS Computer Science (PhD)PhD

출처: 공식 교수·학과 페이지 (2026년 8월 30일 확인) · OpenAlex (2026년 10월 30일 갱신)