Samarth Tiwari obtained his bachelor's degree in mathematics from the Courant Institute of Mathematical Sciences at New York University in 2019. His research in Networks & Optimization at CWI involves proof complexity and integer programming, and is under the supervision of Daniel Dadush.
On the Complexity of Branching Proofs
D. Dadush, S. Tiwari. To appear in Computational Complexity Conference, 2020