Yogesh Dahiya is interested in Boolean function analysis, communication complexity, optimization, and many other topics. In June 2024, he defended his doctoral dissertation, titled Exploring Size Complexity and Randomness in the Query Model. Currently he is pursuing post-doctoral research at TIFR.
Gaurav Sood defended his doctoral dissertation, titled A study of QBF Merge Resolution and MaxSAT Resolution , in March 2023. He is also interested in Boolean function complexity, communication complexity, and algebraic complexity. Currently he is at the CSE Dept at IIT Mandi.
Aditi Dudeja surveyed results on pebble games and bounds and trade-offs for resolution proofs for her Master's project, which she completed in July 2017.
Anuj Tawari
surveyed some recent results in the area of algebraic complexity for
his Master's project, which he completed in June 2014.
In Feb 2019, he defended his doctoral thesis, titled
Lower bounds for read-once and tropical formulas, which is
concerned with some lower bound
questions in algebraic complexity.
Currently, Anuj is at the Sardar Patel Institute of Technology, Mumbai.
Anil Shukla
surveyed results concerning lower bounds for resolution proofs for his
pre-doctoral project completed in July 2013. For his doctoral
dissertation, he has explored various proof systems for QBFs.
In Feb 2017, he defended his
doctoral dissertation, titled
On Proof Complexity for Quantified Boolean Formulas
.
Currently, Anil is at the CSE Dept at IIT Ropar.
Sankardeep Chakraborty surveyed results in the area of correlation bounds for his Master's project, which he completed in July 2013.
Nitin Saurabh
surveyed results in the area of algebraic complexity for his Master's
project, which he completed in July 2012. In Dec 2016, he defended his
doctoral dissertation, titled
Analysis of Algebraic Complexity Classes and Boolean
Functions.
Currently, Nitin is at the CSE department at IIT Hyderabad.
Karteek Sreenivasaiah
surveyed lower bound techniques for Boolean circuits for his Master's
project, which he completed in July 2010. In Jan 2015 he defended his
doctoral dissertation, titled
On verifying proofs in constant depth, and polynomial identity
testing.
Currently, Karteek is at the University of Liverpool, UK.
Prajakta
Nimbhorkar worked on a variety of problems concerning
planar graphs and planar layouts. A high point of her research,
co-authored with many others, is a log-space algorithm for determining
whether two planar graphs are isomorphic. She is also interested in
circuits, randomness, and algebraic structures. She defended her
doctoral thesis, titled
Complexity Analysis of Some Problems
in Planar Graphs, Bounded Tree-width Graphs and Planar Point Sets,
in October 2010.
Currently, Prajakta is at the Chennai Mathematical Institute.
B. V. Raghavendra
Rao worked on problems concerning counting
classes, arithmetic circuits, algebraic complexity, and the complexity
of some isomorphism questions.
He defended his
doctoral thesis, titled
A study of width bounded arithmetic circuits, and the complexity
of matroid isomorphism, in March 2010.
Currently, Raghavendra is
in the CSE dept at IIT Madras.
Nutan Limaye
worked on parallel computation techniques centred around LogCFL
for her Masters project, which she completed in June 2005.
Towards a PhD, Nutan worked on problems concerning circuits,
logarithmic space, and context-free languages. She defended her
doctoral thesis, titled
Exploring LogCFL using Language Theory, in December 2009.
Currently, Nutan is at the CSE dept at IIT Bombay and the ITU at Copenhagen, Denmark.
Jayalal Sarma
worked on derandomization techniques
for his Masters project, titled
Refining Randomness and Applications to Derandomization,
which he completed in July 2004.
Towards a Ph.D., he worked on problems concerning circuits,
algebraic structures/computations, and derandomization. He defended
his doctoral thesis, titled
Complexity Theoretic Aspects of Rank, Rigidity and Circuit
Evaluation, in February 2009.
Currently, Jayalal is in the CSE dept at IIT Madras.