Clark Barrett (Preferred)
, Clark W. Barrett
Clark Barrett
Pronouns: he/him
Professor (Research), Computer Science, Stanford University
- Joined December 2017
Names
Emails
****@cs.stanford.edu (Confirmed)
, ****@cs.nyu.edu
Personal Links
Career & Education History
Professor (Research)
Computer Science, 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
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
Dominik Stoffel
Present
Coauthor
Wolfgang Kunz
Present
Coauthor
Srinivasa Shashank Nuthakki
Present
Postdoc Advisee
Ahmed Irfan
Present
Coauthor
Martin Brain
Present
Coauthor
Keerthikumara Devrajegowda
Present
Coauthor
Wolfgang Ecker
Present
Coauthor
Shaz Qadeer
Present
Coauthor
Cristina David
Present
Coauthor
Pascal Kesseli
Present
Coauthor
Elizabeth Polgreen
Present
Coauthor
Peng Wei
Present
Coauthor
Yuan Zhou
Present
Coauthor
Wolfgang Grieskamp
Present
Coauthor
Junkil Park
Present
Coauthor
Christophe Ringeissen
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
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
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
Byron Cook
Present
Coauthor
Abdalrhman Mohamed
Present
Coauthor
Mudathir Mohamed
Present
Postdoc Advisee
Gereon Kremer
Present
Coauthor
Reynald Affeldt
Present
Coauthor
Robert Jones
Present
Coauthor
Pei-Wei Chen
Present
Coauthor
Kunal Sheth
Present
Coauthor
Bruno Dutertre
Present
Coauthor
Guilherme Toledo
Present
Coauthor
Michael Durling
Present
Coauthor
Erika Abraham
Present
Coauthor
Idan Refaeli
Present
Coauthor
Shankara Pailoor
Present
Coauthor
Alp Bassa
Present
Coauthor
Kostas Ferles
Present
Coauthor
Riad Wahby
Present
Coauthor
Fraser Brown
Present
Coauthor
Wolfgang Grieskamp
Present
Coauthor
Junkil Park
Present
Coauthor
Shaz Qadeer
Present
Coauthor
Keerthikumara Devarajegowda
Present
Coauthor
Elazar Cohen
Present
Coauthor
Chantal Keller
Present
Coworker
Eric Smith
Present
Coworker
Darren Cofer
Present
Postdoc Advisee
Aina Niemetz
Present
Postdoc Advisee
Mathias Preiner
Present
PhD Advisee
Samuel Akinwande
Present
PhD Advisee
Aron Ricardo Perez-Lopez
Present
PhD Advisee
Daneshvar Amrollahi
Present
Expertise
Formal Methods
Present
Automated Reasoning
Present
Neural Network Verification
Present