Tata Institute of Fundamental Research
Bounded Arithmetic proofs of SL = L
STCS Seminar
Speaker:
Sasank Mouli (IIT Indore)
Organiser:
Prahladh Harsha
Date:
Friday, 20 Feb 2026, 16:00 to 17:00
Venue:
A-201 Seminar Room
(Scan to add to calendar)
Abstract:
Short Bio: Dr. Sasank Mouli received his Ph.D. in Electrical and Computer Engineering from the University of California, San Diego, where he was advised by Russell Impagliazzo and unofficially co-advised by Toni Pitassi. His research focuses on proof complexity, with a particular interest in algebraic proof systems. He was briefly a postdoctoral researcher at IDSIA, SUPSI, Lugano. Earlier, he completed his B.Tech. in Electrical Engineering with a second major in Computer Science from IIT Kanpur. He is currently an Assistant Professor in the Department of Computer Science at IIT Indore.
| Speaker: | Sasank Mouli (IIT Indore) |
| Organiser: | Prahladh Harsha |
| Date: | Friday, 20 Feb 2026, 16:00 to 17:00 |
| Venue: | A-201 Seminar Room |
(Scan to add to calendar)
Abstract:
Short Bio: Dr. Sasank Mouli received his Ph.D. in Electrical and Computer Engineering from the University of California, San Diego, where he was advised by Russell Impagliazzo and unofficially co-advised by Toni Pitassi. His research focuses on proof complexity, with a particular interest in algebraic proof systems. He was briefly a postdoctoral researcher at IDSIA, SUPSI, Lugano. Earlier, he completed his B.Tech. in Electrical Engineering with a second major in Computer Science from IIT Kanpur. He is currently an Assistant Professor in the Department of Computer Science at IIT Indore.