Sotabase

Career

· Teaching Assistant (CS 257: Introduction to Automated Reasoning), Stanford University2023–2023
· Visiting Researcher, Universidade Federal de Minas Gerais (UFMG)2023–2023
· Applied Science Intern, Amazon2022–2022
· Software Formal Verification Intern, Apple2021–2021
· Phd Student, Stanford University2020–
· Research Assistant, Technische Universität Wien2020–2020
· Research Intern, University of Cambridge2019–2019

Publications (0)

cvc5: A Versatile and Industrial-Strength SMT Solver
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2022
452
cited
Axiomatic hardware-software contracts for security
International Symposium on Computer Architecture · 2022
34
cited
Flexible Proof Production in an Industrial-Strength SMT Solver
International Joint Conference on Automated Reasoning · 2022
25
cited
Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2023
15
cited
Generating and Exploiting Automated Reasoning Proof Certificates
Communications of the ACM · 2023
11
cited
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2024
7
cited
CVC 5 at the SMT Competition 2022
3
cited
Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL
International Conference on Interactive Theorem Proving · 2025
2
cited
Extending DRAT to SMT
Formal Methods in Computer-Aided Design · 2024
1
cited
Relational Models of Microarchitectures for Formal Security Analyses
arXiv.org · 2021
1
cited
Automatic Verification of SMT Rewrites in Isabelle/HOL
International Workshop on Satisfiability Modulo Theories · 2023
: Automatic Verification of SMT Rewrites in Isabelle/HOL
The Next Generation of Deduction Systems: From Composition to Compositionality
Sotabase