Clark Barrett

Stanford University

Names

Clark Barrett (Preferred)
,
Clark W. Barrett

Emails

****@cs.stanford.edu
,
****@cs.nyu.edu

Education & Career History

Professor (Research)
Stanford University (stanford.edu)
2021Present
 
Associate Professor (Research)
Stanford University (stanford.edu)
20162021
 
Associate Professor
New York University (nyu.edu)
20082016
 
Assistant Professor
New York University (nyu.edu)
20022008
 

Advisors, Relations & Conflicts

PhD Advisor
Present
 
PhD Advisee
Kshitij Bansal
Present
 
PhD Advisee
Wei Wang
Present
 
PhD Advisee
Liana Hadarean
Present
 
PhD Advisee
Tim King
Present
 
PhD Advisee
Dejan Jovanovic
Present
 
PhD Advisee
Igor Chikanian
Present
 
PhD Advisee
Chris Conway
Present
 
PhD Advisee
Yeting Ge
Present
 
PhD Advisee
Ying Hu
Present
 
PhD Advisee
Eshan Singh
Present
 
Coauthor
Present
 
Postdoc Advisee
Present
 
Postdoc Advisee
Cristian Mattarei
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Viktor Kuncak
Present
 
Coauthor
Present
 
Coauthor
Burak Ekici
Present
 
Coauthor
Kyle Julian
Present
 
Coauthor
David Lin
Present
 
Coauthor
Pascal Fontaine
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Haniel Barbosa
Present
 
Coauthor
Arjun Viswanathan
Present
 
Coauthor
Mohammad Fadiheh
Present
 
Coauthor
Joakim Urdahl
Present
 
Coauthor
Dominik Stoffel
Present
 
Coauthor
Wolfgang Kunz
Present
 
Coauthor
Srinivasa Shashank Nuthakki
Present
 
Coauthor
Daniel El Ouraoui
Present
 
Postdoc Advisee
Ahmed Irfan
Present
 
Coauthor
Joel Markham
Present
 
Coauthor
Parth Shah
Present
 
Coauthor
Present
 
Coauthor
Robert Fisher
Present
 
Coauthor
Martin Brain
Present
 
Coauthor
Keerthikumara Devrajegowda
Present
 
Coauthor
Sebastian Simon
Present
 
Coauthor
Ralf Schneider
Present
 
Coauthor
Wolfgang Ecker
Present
 
Coauthor
Liling Ren
Present
 
Coauthor
Sumathi Gokulanathan
Present
 
Coauthor
Alexander Feldsher
Present
 
Coauthor
Adi Malca
Present
 
Coauthor
Yafim Kazak
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
James Lopez
Present
 
Coauthor
Shaz Qadeer
Present
 
Coauthor
Sam Blackshear
Present
 
Coauthor
Present
 
Coauthor
Cristina David
Present
 
Coauthor
Pascal Kesseli
Present
 
Coauthor
Elizabeth Polgreen
Present
 
Coauthor
Yuval Jacoby
Present
 
Coauthor
Peng Wei
Present
 
Coauthor
Present
 
Coauthor
Yuan Zhou
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Jingyi Emma Zhong
Present
 
Coauthor
Kevin Cheang
Present
 
Coauthor
Wolfgang Grieskamp
Present
 
Coauthor
Junkil Park
Present
 
Coauthor
Christophe Ringeissen
Present
 
Coauthor
Present
 
Coauthor
Michael Rubenstahl
Present
 
Coauthor
Michael Figard
Present
 
Coauthor
Richard Evans
Present
 
Coauthor
Ryan Spoelhof
Present
 
Coauthor
Scott Edwards
Present
 
Coauthor
Igor Pedan
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Radu Calinescu
Present
 
Coauthor
Colin Paterson
Present
 
Coauthor
John Grese
Present
 
Coauthor
Luca Piccolboni
Present
 
Coauthor
Deepraj Soni
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Guy Amir
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
PhD Advisee
Present
 
PhD Advisee
Andres Noetzli
Present
 
PhD Advisee
Caleb Donovick
Present
 
PhD Advisee
Alex Ozdemir
Present
 
PhD Advisee
Present
 
PhD Advisee
Scott Viteri
Present
 
PhD Advisee
Haoze Wu
Present
 
PhD Advisee
Amalee Wilson
Present
 
PhD Advisee
Hanna Lachnitt
Present
 
PhD Advisee
Rachel Cleaveland
Present
 
Postdoc Advisee
Nestan Tsiskaridze
Present
 
Coauthor
Temesghen Kahsai
Present
 
Coauthor
Present
 
Coauthor
Lindsey Kuper
Present
 
Coauthor
Mario Srouji
Present
 
Coauthor
Kristopher Brown
Present
 
Coauthor
Allison Guman
Present
 
Postdoc Advisee
Florian Lonsing
Present
 
Postdoc Advisee
Min Wu
Present
 
Postdoc Advisee
Yoni Zohar
Present
 
Postdoc Advisee
Aleksandar Zeljic
Present
 
Coauthor
Christopher Strong
Present
 
Coauthor
Byron Cook
Present
 
Coauthor
Abdalrhman Mohamed
Present
 
Coauthor
Mudathir Mohamed
Present
 

Expertise

Formal Methods
Present
 
Automated Reasoning
Present
 
Neural Network Verification
Present