Theses most similar to those of author Ponzio, Stephen J. (Stephen John)

Restricted branching programs and hardware verification (1995) read it

Minimum distance of error correcting codes versus encoding complexity, symmetry, and pseudorandomness

Bazzi, Louay Mohamad Jamil, 1974- (2003)

  • Advisors: Daniel A. Spielman; Sanjoy K. Mitter
  • Department of Electrical Engineering and Computer Science
Read it

Property testing : theory and applications

Raskhodnikova, Sofya, 1976- (2003)

  • Advisor: Michael Sipser
  • Department of Electrical Engineering and Computer Science
Read it

Automated termination proofs using Walther recursion

Wu, Alexander (1994)

  • Advisor: David A. McAllester
  • Department of Electrical Engineering and Computer Science
Read it

Efficient holographic proofs

Russell, Alexander Craig (1996)

  • Advisor: Michael Sipser
  • Department of Mathematics
Read it

Digital signatures from probabilistically checkable proofs

Sidney, Raymond M. (Raymond Mark) (1995)

  • Advisor: Silvio Micali
  • Department of Mathematics
Read it

Space-time tradoffs for graph properties

Dodis, Yevgeniy, 1976- (1998)

  • Advisor: Madhu Sudan
  • Department of Electrical Engineering and Computer Science
Read it

Delegating computation reliably : paradigms and constructions

Rothblum, Guy N (2009)

  • Advisor: Shafi Goldwasser
  • Department of Electrical Engineering and Computer Science
Read it

Uses of randomness in algorithms and protocols

Kilian, Joe (1989)

  • Advisors: David Shmoys; Shafi Goldwasser
  • Department of Mathematics
Read it

Approximation algorithms for grammar-based data compression

Lehman, Eric (Eric Allen), 1970- (2002)

  • Advisor: Madhu Sudan
  • Department of Electrical Engineering and Computer Science
Read it

PCPs for Arthur-Merlin games and communication protocols

Drucker, Andrew Donald (2010)

  • Advisor: Scott Aaronson
  • Department of Electrical Engineering and Computer Science
Read it