PhD Defence • Algorithms and Complexity • Algebraic Geometric Methods for Algorithms in Satisfiability, Irreducibility of Varieties, and Identity Testing
Please note: This PhD defence will take place online.
Abhibhav Garg, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Rafael Oliveira