Leni Aniva

PhD student, School of Computer Science, Stanford University

  • Joined May 2021

Names

Leni Aniva (Preferred)

Emails

****@uwaterloo.ca (Confirmed)
,
****@stanford.edu (Confirmed)

Personal Links

Career & Education History

PhD student
School of Computer Science, Stanford University (stanford.edu)
2022 – 2028
 
Undergrad student
School of Computer Science, University of Waterloo (uwaterloo.ca)
2017 – 2022
 

Advisors, Relations & Conflicts

PhD Advisor
2023 – 2028
 

Expertise

Automated Theorem Proving
2023 – 2028
 
Machine-Assisted Theorem Proving
2023 – 2028
 
SMT Solvers
2022 – 2028
 
Machine Learning
2021 – 2028