Clark Barrett (Preferred)
Clark W. Barrett
Clark Barrett
Researcher, Amazon
Professor (Research), Computer Science, Stanford University
Joined
December 2017
Names
,
Emails
****@cs.stanford.edu (Confirmed)
****@cs.nyu.edu
****@stanford.edu (Confirmed)
Personal Links
Career & Education History
Researcher
Amazon (amazon.com)
2023 – Present
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
Postdoc Advisee
Ahmed Irfan
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
Postdoc Advisee
Florian Lonsing
Present
Postdoc Advisee
Min Wu
Present
Postdoc Advisee
Aleksandar Zeljic
Present
Postdoc Advisee
Gereon Kremer
Present
Postdoc Advisee
Aina Niemetz
Present
Postdoc Advisee
Mathias Preiner
Present
PhD Advisee
Aron Ricardo Perez-Lopez
Present
PhD Advisee
Abdalrhman Mohamed
Present
PhD Advisee
Yicheng Qian
Present
PhD Advisee
Harun Khan
Present
Coauthor
Mudathir Mohamed
2020 – 2025
Coauthor
Guilherme Toledo
2020 – 2025
Coauthor
Erika Abraham
2020 – 2025
Coauthor
Shankara Pailoor
2020 – 2025
Coauthor
Alp Bassa
2020 – 2025
Coauthor
Jibiana Jakpor
2020 – 2025
Coauthor
Hans-Joerg Schurr
2020 – 2025
Social
Danny Jeck
2020 – 2025
Social
John Matthews
2020 – 2025
Coauthor
Nick Feng
2020 – 2025
Coauthor
Jubi Taneja
2020 – 2025
Coauthor
Alex Keizer
2020 – 2025
Coauthor
Henrik Boeving
2020 – 2025
Coauthor
Luisa Cicolini
2020 – 2025
Coauthor
Leon Frenot
2020 – 2025
Coauthor
Leo Stefanesco
2020 – 2025
Coauthor
Tobias Grosser
2020 – 2025
Coauthor
Bruno Andreotti
2020 – 2025
Coauthor
Benjamin Przybocki
2020 – 2025
Coauthor
Tomaz Mascarenhas
2020 – 2025
Coauthor
Denis Mazzucato
2020 – 2025
Coauthor
Pascal Fontaine
2015 – 2025
Coauthor
Haniel Barbosa
2015 – 2025
Coauthor
Martin Brain
2015 – 2025
Coauthor
Keerthikumara Devrajegowda
2020 – 2024
Coauthor
Guy Amir
2020 – 2024
Coauthor
Reynald Affeldt
2020 – 2024
Coauthor
Pei-Wei Chen
2020 – 2024
Coauthor
Kunal Sheth
2020 – 2024
Coauthor
Michael Durling
2020 – 2024
Coauthor
Kostas Ferles
2020 – 2024
Coauthor
Udayan Mandal
2020 – 2024
Coauthor
Kerianne Hobbs
2020 – 2024
Coauthor
Kyle Julian
2016 – 2024
Coauthor
David Lin
2015 – 2024
Coauthor
Mohammad Fadiheh
2015 – 2024
Coauthor
Dominik Stoffel
2015 – 2024
Coauthor
Wolfgang Kunz
2015 – 2024
Coauthor
Srinivasa Shashank Nuthakki
2015 – 2024
Coauthor
Wolfgang Ecker
2015 – 2024
Coauthor
Bihan Zhao
2023 – 2023
Coauthor
Vijay Bhatt
2023 – 2023
Coauthor
Sebastian Prebeck
2023 – 2023
Coauthor
Brad Chen
2023 – 2023
Coauthor
Amitra Roy Chowdhury
2023 – 2023
Coauthor
Zulfikar Ramzan
2023 – 2023
Coauthor
Burak Ekici
2020 – 2023
Coauthor
Arjun Viswanathan
2020 – 2023
Coauthor
Cristina David
2020 – 2023
Coauthor
Pascal Kesseli
2020 – 2023
Coauthor
Elizabeth Polgreen
2020 – 2023
Coauthor
Christophe Ringeissen
2020 – 2023
Coauthor
Riad Wahby
2020 – 2023
Coauthor
Fraser Brown
2020 – 2023
Coauthor
Wolfgang Grieskamp
2020 – 2023
Coauthor
Junkil Park
2020 – 2023
Coauthor
Shaz Qadeer
2020 – 2023
Coauthor
Elazar Cohen
2020 – 2023
Coauthor
Chantal Keller
2020 – 2023
Coworker
Eric Smith
2020 – 2022
Coworker
Darren Cofer
2020 – 2022
Coauthor
Peng Wei
2020 – 2021
Coauthor
Yuan Zhou
2020 – 2021
Coauthor
Colin Paterson
2020 – 2021
Coauthor
John Grese
2020 – 2021
Coauthor
Luca Piccolboni
2020 – 2021
Coauthor
Deepraj Soni
2020 – 2021
Coauthor
Kristopher Brown
2020 – 2021
Coauthor
Allison Guman
2020 – 2021
Expertise
Formal Methods
Present
Automated Reasoning
Present
Neural Network Verification
Present
Publications
Co-Authors
- Aaron Stump
- Aarti Gupta
- Abdalrhman Mohamed
- Abhishek Anil Nair
- Abhishek Nair
- Adi Malca
- Ahmed Irfan
- Aina Niemetz
- Alain Mebsout
- Albert Oliveras
- Alberto Griggio
- Aleksandar Zeljic
- Alessandro Abate
- Alessandro Bruni
- Alessio Lomuscio
- Alex Carsello
- Alex Ozdemir
- Alexander Feldsher
- Alexander Robey
- Allison Guman
- Alp Bassa
- Amalee Wilson
- Amir Pnueli
- Amit Goel
- Amrita Roy Chowdhury