Parberry, Ian
- Department of Computer Science & Engineering, University of North Texas.
- http://www.eng.unt.edu/ian/

Meinel, Christoph
- Hasso Plattner Institute for Software Systems Engineering, University of Potsdam
- http://www.hpi.uni-potsdam.de/~meinel/chair.html

Bläser, Markus
- Saarland University, Department of Computer Science
- http://www-cc.cs.uni-sb.de/mblaeser/

Liskiewicz, Maciej
- University of Wroclaw.
- http://www.ii.uni.wroc.pl/~liskiewi/

Papadimitriou, Christos H.
- Author of the very popular book on complexity theory. Home page with recent publications and links to courses.
- http://www.cs.berkeley.edu/~christos/

Per Bjesse
- SAT-based hardware verification (using Stalmarck's algorithm)
- http://www.cs.chalmers.se/~bjesse/

Vardi, Moshe Y.
- Recent paper on the hardness of random formulas for SAT solver; bounded tree-width.
- http://www.cs.rice.edu/~vardi/

Franco, John
- Probabilistic analysis of algorithms, polynomial time solvable subclasses of satisfiability.
- http://www.ece.uc.edu/~franco/

Levesque, Hector
- Local search, random SAT, artificial intelligence.
- http://www.cs.toronto.edu/~hector/

Frisch, Alan
- Artificial Intelligence, constraint satisfaction problems
- http://www-users.cs.york.ac.uk/~frisch/

Kutylowski, Miroslaw
- University of Paderborn.
- http://wwwcs.uni-paderborn.de/fachbereich/AG/agmadh/WWW/english/Kuty.html

Beigel, Richard
- Temple University.
- http://knight.cis.temple.edu/~beigel/

Ben-Sasson, Eli
- Senior Lecturer, Technion, Haifa, Israel.
- http://www.cs.technion.ac.il/~eli/

Hesse, William
- Clarkson University.
- http://people.clarkson.edu/~whesse/

Edmonds, Jeff
- York University.
- http://www.cse.yorku.ca/~jeff/

Buss, Jonathan
- University of Waterloo.
- http://www.cs.uwaterloo.ca/~jfbuss/

Spielman, Daniel A.
- Professor of Applied Mathematics and Computer Science at Yale.
- http://www.cs.yale.edu/homes/spielman/

Waack, Stephan
- Universität Göttingen.
- http://user.informatik.uni-goettingen.de/~waack/

Veith, Helmut
- Institute of Information Systems.
- http://www.model.in.tum.de/~veith/

Manthey, Bodo
- Institute of Theoretical Computer Science.
- http://www-cc.cs.uni-sb.de/manthey/

Chen, Hubie
- Cornell University.
- http://www.tecn.upf.es/~hchen/

Barak, Boaz
- Institute for Advanced Studies.
- http://www.cs.princeton.edu/~boaz/

Rudich, Steven
- Carnegie Mellon University.
- http://www.cs.cmu.edu/~rudich/

Yao, Chi Chin
- Tsinghua University.
- http://www.castu.tsinghua.edu.cn/yao/

Busygin, Stas
- Efficient algorithms for hard computational problems; NP-completeness. Publications; software; resources on NP-completeness.
- http://busygin.dp.ua/

Zwick, Uri
- Tel Aviv Univerusity.
- http://www.math.tau.ac.il/~zwick/

Zuckerman, David
- University of Texas at Austin.
- http://www.cs.utexas.edu/users/diz/

Zheng, Xizhong
- Brandenburgische Technische Universität Cottbus.
- http://www-sst.informatik.tu-cottbus.de/~wwwti/zheng/

Xu, Ke
- Beijing University of Aeronautics and Astronautics.
- http://www.nlsde.buaa.edu.cn/~kexu/

Wolkowicz, Henry
- University of Waterloo.
- http://orion.math.uwaterloo.ca/~hwolkowi/

Wigderson, Avi
- Institute for Advanced Study, Princeton.
- http://www.math.ias.edu/~avi/

Vitanyi, Paul
- University of Amsterdam.
- http://homepages.cwi.nl/~paulv/index.html

Vereshchagin, N.K.
- Moscow State University.
- http://lpcs.math.msu.su/~ver/

Van Melkebeek, Dieter
- University of Wisconsin-Madison.
- http://www.cs.wisc.edu/~dieter/

Vadhan, Salil
- Harvard University.
- http://www.eecs.harvard.edu/~salil/

Tompa, Martin
- University of Washington.
- http://www.cs.washington.edu/homes/tompa/

Thierauf, Thomas
- Universität Ulm.
- http://theorie.informatik.uni-ulm.de/Personen/tt.html

Sudan, Madhu
- Massachusetts Institute of Technology.
- http://theory.lcs.mit.edu/~madhu/

Sitharam, Meera
- University of Florida.
- http://www.cise.ufl.edu/~sitharam/

Simon, Hans Ulrich
- Ruhr-Universität Bochum.
- http://www.ruhr-uni-bochum.de/lmi/simon/index.html

Sieling, Detlef
- Dortmund University.
- http://ls2-www.cs.uni-dortmund.de/~sieling/

Shoup, Victor
- Courant Institute.
- http://www.shoup.net/

Sgall, Jiri
- Mathematical Institute, Academy of Sciences of the Czech Republic.
- http://www.math.cas.cz/~sgall/

Selman, Alan
- University at Buffalo.
- http://www.cse.buffalo.edu/~selman/

Schulman, Leonard
- California Institute of Technology.
- http://www.cs.caltech.edu/~schulman/index.html

Schuler, Rainer
- Universität Ulm.
- http://theorie.informatik.uni-ulm.de/Personen/rs.html

Savicky, Petr
- Institute of Computer Science, Academy of Sciences of the Czech Republic.
- http://www.uivt.cas.cz/~savicky/

Sauerhoff, Martin
- Dortmund University.
- http://ls2-www.informatik.uni-dortmund.de/~sauerhof/

Ryabko, Boris
- Siberian State University.
- http://boris.ryabko.net/

Russell, Alexander
- University of Connecticut.
- http://www.cse.uconn.edu/~acr/

Rogers, John
- DePaul University.
- http://facweb.cs.depaul.edu/jrogers/

Rivest, Ronald
- Massachusetts Institute of Technology.
- http://theory.lcs.mit.edu/~rivest/

Reischuk, Rüdiger
- Universität zu Lübeck.
- http://www.itheoi.mu-luebeck.de/pages/reischuk/

Reinhardt, Klaus
- Universität Tübingen.
- http://www-fs.informatik.uni-tuebingen.de/~reinhard/

Raz, Ran
- Weizmann Institute of Science.
- http://www.wisdom.weizmann.ac.il/~ranraz/

Pudlák, Pavel
- Mathematical Institute of the Academyof Sciences of the Czech Republic.
- http://www.math.cas.cz/~pudlak/

Pollett, Chris
- San Jose State University.
- http://www.cs.sjsu.edu/faculty/pollett/

Pitt, Francois
- University of Toronto.
- http://www.cs.toronto.edu/~fpitt/

Pitassi, Toniann
- University of Arizona.
- http://www.cs.arizona.edu/people/toni/

Nisan, Noam
- Hebrew University.
- http://www.cs.huji.ac.il/~noam/index.html

Niedermeier, Rolf
- Universität Tübingen.
- http://www-fs.informatik.uni-tuebingen.de/~niedermr/

Razborov, Alexander
- Steklov Mathematical Institute.
- http://www.mi.ras.ru/~razborov/

Moscato, Pablo
- Universidade Estadual de Campinas.
- http://www.densis.fee.unicamp.br/~moscato/

Moore, Cris
- University of New Mexico.
- http://www.santafe.edu/~moore/

Merkle, Wolfgang
- Ruprecht Karls Universität Heidelberg.
- http://math.uni-heidelberg.de/logic/merkle/merkle.html

Mayordomo, Elvira
- Instituto de investigación en Ingeniería de Aragón.
- http://webdiis.unizar.es/~elvira/

Matiyasevich, Yuri
- Steklov Institute of Mathematics.
- http://logic.pdmi.ras.ru/~yumat/

Magniez, Frederic
- University of Paris.
- http://www.lri.fr/~magniez/

Lutz, Jack
- Iowa State University.
- http://www.cs.iastate.edu/~lutz/

Luby, Michael
- International Computer Science Institute.
- http://www.icsi.berkeley.edu/~luby/

Leivant, Daniel
- Indiana University.
- http://www.cs.indiana.edu/~leivant/

Kolmogorov, Aleksey
- Moscow State University.
- http://kolmogorov.com/

Krajicek, Jan
- Mathematical Institute of the Academy of Sciences of the Czech Republic.
- http://www.math.cas.cz/~krajicek/

Kosub, Sven
- Technische Universität München.
- http://wwwmayr.informatik.tu-muenchen.de/personen/kosub/

Kushilevitz, Eyal
- Israel Institute of Technology.
- http://www.cs.technion.ac.il/~eyalk/

Kutrib, Martin
- Universität Gießen.
- http://www.informatik.uni-giessen.de/staff/kutrib.html

Klauck, Hartmut
- University of Calgary.
- http://pages.cpsc.ucalgary.ca/~klauckh/

Kiwi, Marcos
- University of Chile.
- http://www.dim.uchile.cl/~mkiwi/

Khuller, Samir
- University of Maryland.
- http://www.cs.umd.edu/users/samir/index.html

Kabanets, Valentine
- Simon Fraser University.
- http://www.cs.sfu.ca/~kabanets/

Karpinski, Marek
- University of Bonn.
- http://theory.cs.uni-bonn.de/~marek/

Kann, Viggo
- Nada.
- http://www.nada.kth.se/~viggo/index-en.html

Jukna, Stasys
- Johann Wolfgang Goethe University.
- http://www.thi.informatik.uni-frankfurt.de/~jukna/

Johannsen, Jan
- University of München.
- http://www.tcs.informatik.uni-muenchen.de/~jjohanns/

Jiang , Tao
- McMaster University.
- http://www.cas.mcmaster.ca/~jiang/

Jerrum, Mark
- University of Edinburgh.
- http://www.dcs.ed.ac.uk/home/mrj/

Homer, Steve
- Boston University.
- http://www.cs.bu.edu/faculty/homer/

Hitchcock, John
- University of Wyoming.
- http://www.cs.uwyo.edu/~jhitchco/

Hirsch, Edward
- Steklov Institute of Mathematics at St.Petersburg.
- http://logic.pdmi.ras.ru/~hirsch/index.html

Hermann, Miki
- National Center for Scientific Research (France).
- http://www.lix.polytechnique.fr/~hermann/

Hemaspaandra, Lane
- University of Rochester.
- http://www.cs.rochester.edu/u/lane/

Håstad, Johan
- Kungliga Tekniska högskolan.
- http://www.nada.kth.se/~johanh/

Hajiaghayi, Mohammad Taghi
- Massachusetts Institute of Technology.
- http://www.mit.edu/~hajiagha/

Grolmusz, Vince
- Eötvös University.
- http://www.cs.elte.hu/~grolmusz/

Grigni, Michelangelo
- Emory University.
- http://www.mathcs.emory.edu/~mic/

Green, Frederic
- Clark University.
- http://aleph0.clarku.edu/~fgreen/home.html

Goldwasser, Shafi
- Massachusetts Institute of Technology.
- http://theory.lcs.mit.edu/~shafi/

Gal, Anna
- University of Texas at Austin.
- http://www.cs.utexas.edu/users/panni/

Fagin, Ronald
- IBM Almaden Research Center.
- http://www.almaden.ibm.com/cs/people/fagin/

Furer, Martin
- Pennsylvania State University.
- http://www.cse.psu.edu/~furer/

Dantsin, Evgeny
- Roosevelt University.
- http://cs.roosevelt.edu/~dantsin/

Czumaj, Artur
- University of Paderborn.
- http://wwwcs.upb.de/cs/artur.html

Chen, Jianer
- Texas A&M University.
- http://faculty.cs.tamu.edu/chen/

Chazelle, Bernard
- Princeton University.
- http://www.cs.princeton.edu/~chazelle/

Chang, Richard
- University of Maryland.
- http://www.csee.umbc.edu/~chang/

Chaitin, Greg
- IBM Research.
- http://www.cs.auckland.ac.nz/CDMTCS/chaitin/

Case, John
- University of Delaware.
- http://www.cis.udel.edu/~case/

Calude, Cristian
- University of Auckland.
- http://www.cs.auckland.ac.nz/~cristian/

Buss, Samuel
- University of California, San Diego.
- http://euclid.ucsd.edu/~sbuss/

Bollig, Beate
- University of Dortmund.
- http://ls2-www.cs.uni-dortmund.de/~bollig/

Ben-Or, Michael
- The Hebrew University.
- http://www.cs.huji.ac.il/~benor/

Bellare, Mihir
- University of California, San Diego.
- http://www.cse.ucsd.edu/users/mihir/

Beame, Paul
- University of Washington.
- http://www.cs.washington.edu/homes/beame/beame.html

Balcázar, Jose
- Facultat d'Informatica de Barcelona.
- http://www-lsi.upc.es/~balqui/home.html

Arsham, Hossein
- University of Baltimore.
- http://home.ubalt.edu/ntsbarsh/index.html

Arora, Sanjeev
- Princeton University.
- http://www.cs.princeton.edu/~arora/

Alon, Noga
- School of Mathematical Sciences at Tel Aviv University.
- http://www.math.tau.ac.il/~nogaa/

Allender, Eric
- Rutgers, the State University of NJ.
- http://www.cs.rutgers.edu/~allender/