www.cs.sjsu.edu

     
San Jose State University - Logic, bounded arithmetic, computational complexity and quantum computation.