Abhibhav Garg

abhibhav dot garg at uwaterloo dot ca

I am a graduate student at the University of Waterloo, where I am advised by Rafael Oliveira. From 2015 to 2020 I was a student in the computer science department of IIT Kanpur where I got a dual B.Tech and M.Tech degree. My advisor was Nitin Saxena.

I am interested in complexity theory, in particular in algebraic complexity. I am also interested in computational algebra and number theory.

Research

• Primes via Zeros: interactive proofs for testing primality of natural classes of ideals
  with Rafael Oliveira and Nitin Saxena
  STOC 2025
  [YouTube]
  
• Uniform Bounds on Product Sylvester–Gallai Configurations
  with Rafael Oliveira and Akash Kumar Sengupta
  SoCG 2025
  
• Radical Sylvester-Gallai Theorem for Tuples of Quadratics
  with Rafael Oliveira and Shir Peleg and Akash Kumar Sengupta
  CCC 2023
  [ECCC]
  
• Robust radical Sylvester–Gallai theorem for quadratics
  with Rafael Oliveira and Akash Kumar Sengupta
  SoCG 2023
  [arXiv]
  
• Special-case algorithms for blackbox radical membership, Nullstellensatz and transcendence degree
  with Nitin Saxena
  ISSAC 2020
  [arXiv | YouTube]
  

Miscellaneous

• Master's thesis:
  Special case algorithms for Nullstellensatz and transcendence degree
• A multivariate folded wronskian

I help maintain the website of the Algorithms and Complexity group at Waterloo. The group organises a weekly seminar.

I used to co-organise the special interest group on theoretical aspects of computer science at IIT Kanpur. If you are interested in attending the talks, you can sign up to the mailing list and/or check the website. The latter includes links to the recordings of some of the talks.