Vaibhav Krishan joined as a postdoc |
| Date : Sat, Aug 1, 2026 |
Vaibhav Krishan joined the group as a postdoctoral researcher. He finished his B.Tech. and PhD from IIT Bombay and had a 2-year stint at IMSc as a postdoc. His research interests are in Boolean circuit complexity, proof complexity, QBF solving, derandomisation, meta-complexity and pseudorandomness. |