Clark Barrett (Preferred)
, Clark W. Barrett
Clark Barrett
Stanford University
- Joined December 2017
Names
Emails
****@cs.stanford.edu (Confirmed)
, ****@cs.nyu.edu
Personal Links
Education & Career History
Professor (Research)
Stanford University (stanford.edu)
2021 – Present
Associate Professor (Research)
Stanford University (stanford.edu)
2016 – 2021
Associate Professor
New York University (nyu.edu)
2008 – 2016
Assistant Professor
New York University (nyu.edu)
2002 – 2008
Advisors, Relations & Conflicts
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
Postdoc Advisee
Cristian Mattarei
Present
Coauthor
Viktor Kuncak
Present
Coauthor
Burak Ekici
Present
Coauthor
Kyle Julian
Present
Coauthor
David Lin
Present
Coauthor
Pascal Fontaine
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
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
James Lopez
Present
Coauthor
Shaz Qadeer
Present
Coauthor
Sam Blackshear
Present
Coauthor
Cristina David
Present
Coauthor
Pascal Kesseli
Present
Coauthor
Elizabeth Polgreen
Present
Coauthor
Yuval Jacoby
Present
Coauthor
Peng Wei
Present
Coauthor
Yuan Zhou
Present
Coauthor
Jingyi Emma Zhong
Present
Coauthor
Kevin Cheang
Present
Coauthor
Wolfgang Grieskamp
Present
Coauthor
Junkil Park
Present
Coauthor
Christophe Ringeissen
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
Radu Calinescu
Present
Coauthor
Colin Paterson
Present
Coauthor
John Grese
Present
Coauthor
Luca Piccolboni
Present
Coauthor
Deepraj Soni
Present
Coauthor
Guy Amir
Present
PhD Advisee
Andres Noetzli
Present
PhD Advisee
Caleb Donovick
Present
PhD Advisee
Alex Ozdemir
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
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