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.
