Timothe Kasriel (Preferred)
Timothe Kasriel
Undergrad student, Computer Science, University of California, Berkeley
Joined
May 2025
Names
Emails
****@berkeley.edu (Confirmed)
Personal Links
Career & Education History
Undergrad student
Computer Science, University of California, Berkeley (berkeley.edu)
2022 – 2026
Advisors, Relations & Conflicts
Expertise
Automated Theorem Proving
2024 – 2025