Bellare - Research in Complexity Theory

This is a brief summary of some of my research in Complexity Theory.

Topics: Amongst the topics I work on are:

• Probabilistically checkable proofs and their application to approximation
• The complexity of interactive proofs
• The complexity of zero-knowledge proofs
• Randomness
• Computational learning theory
• Distributed computing