The Institute of Mathematical Sciences, Chennai
Meena Mahajan is a professor in the theoretical computer science group at The Institute of Mathematical Sciences, Chennai, which she joined in 1994. She obtained her bachelor's and master's degrees from the department of computer science and engineering at IIT Bombay in 1986 and 1988 and her Ph.D. degree from IIT Madras in 1993. Her research focuses primarily on understanding the limits of efficient computation and encompasses many aspects of computational complexity theory, including Boolean function complexity, algebraic circuits, and proof complexity. She was elected fellow of the Indian Academy of Sciences in 2022.
Lectures by Fellows/Associates
C Pulla Rao, IIT, Tirupati
What is hard to prove, and why?
Proof of a statement convinces the person/entity addressed that the statement is true. Intuitively, a good proof is short and also easy to verify. A formal proof must convince an automated checking program (that may have limited resources). This talk discusses why we care about formal proofs, how we can design formal proof systems, and how we can demonstrate their limitation