Worked as a Research Assistant on KeYmaera X, a theorem prover for hybrid systems. Explored SMT solvers and their applications in formal verification.
Worked as a Research Assistant on KeYmaera X, a theorem prover for hybrid systems. Explored SMT solvers and their applications in formal verification.