CV

Education

B.S. in Mathematics, Santa Clara University, 2020
B.S. in Computer Science, Santa Clara University, 2020
M.S. in Computer Engineering, Santa Clara University, 2021
Ph.D in Computer Science, University of California, Davis, 2027 (expected)

Work experience

2021 - present: Graduate Student Researcher
- University of California, Davis
- Topic: Provable Repair of Deep Neural Networks
- Advised by: Dr. Aditya Thakur
2020: De Novo Research Fellow
- Santa Clara University
- Topic: Sparse Suffix Tree Construction Algorithms
- Advised by: Dr. Nicholas Tran
2019: Software Engineering Intern
- NetApp, Inc.

Publications

Architecture-Preserving Provable Repair of Deep Neural Networks

Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, and Aditya V. Thakur. 2023. Architecture-Preserving Provable Repair of Deep Neural Networks. Proc. ACM Program. Lang. 7, PLDI, Article 124 (June 2023), 25 pages.

Provable Repair of Vision Transformers

Stephanie Nawas, Zhe Tao, and Aditya V. Thakur. 2024. Provable Repair of Vision Transformers. Symposium on AI Verification SAIV (July 2024).

Teaching

MATH51 Discrete Mathematics

ECS140A Programming Languages

ECS32A Introduction to Programming

AIFS High School Summer AI Tech Camp

Service and leadership

President of Scholars of Color Alliance (SOCA)
- University of California, Davis (2021 - present)
Co-Chair of the Asian Pacific-Islander Student Union
- Santa Clara University (2019 - 2021)
Mathematics Department Representative for the STEM Student Advisory Committee
- Santa Clara University (2018 - 2020)