Sasank Mouli

Sasank Mouli

Assistant Professor
sasankmouli.gali@mahindrauniversity.edu.in

My research focuses on theoretical computer science, in particular proof complexity and algebraic proof systems. Before joining Mahindra University, I was a postdoc for a brief period at IDSIA, SUPSI, Switzerland.

2022

Ph.D in Electrical Engineering, UC San Diego, 2022.

2018

M.S. in Electrical Engineering, UC San Diego, 2018.

2016

B.Tech in Electrical Engineering with a second major in Computer Science, IIT Kanpur, 2016.

No Data

Publications

2023

  • Russell Impagliazzo, Sasank Mouli, and Toniann Pitassi. 2023. Lower Bounds for Polynomial Calculus with Extension Variables over Finite Fields. In Proceedings of the conference on Proceedings of the 38th Computational Complexity Conference (CCC '23). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, DEU, Article 7, 1–24. https://doi.org/10.4230/LIPIcs.CCC.2023.7

    • 2020

  • Russell Impagliazzo, Sasank Mouli, and Toniann Pitassi. 2020. The Surprising Power of Constant Depth Algebraic Proofs. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20). Association for Computing Machinery, New York, NY, USA, 591–603. https://doi.org/10.1145/3373718.3394754

    • Theoretical Computer Science
    Computational Complexity Theory
    Proof Complexity
    Algebraic Proof Systems