  Jerrum, Mark - http://www.dcs.ed.ac.uk/home/mrj/
University of Edinburgh. |
Franco, John - http://www.ece.uc.edu/~franco/
Probabilistic analysis of algorithms, polynomial time solvable subclasses of satisfiability. |
Homer, Steve - http://www.cs.bu.edu/faculty/homer/
Boston University. |
Fagin, Ronald - http://www.almaden.ibm.com/cs/people/fagin/
IBM Almaden Research Center. |
Sudan, Madhu - http://people.csail.mit.edu/madhu/
Massachusetts Institute of Technology. |
Goldwasser, Shafi - http://people.csail.mit.edu/shafi/
Massachusetts Institute of Technology. |
Hajiaghayi, Mohammad Taghi - http://www.mit.edu/~hajiagha/
Massachusetts Institute of Technology. |
Rivest, Ronald - http://people.csail.mit.edu/rivest/
Massachusetts Institute of Technology. |
Frisch, Alan - http://www-users.cs.york.ac.uk/~frisch/
Artificial Intelligence, constraint satisfaction problems |
Kolmogorov, Aleksey - http://kolmogorov.com/
Moscow State University. |
Vardi, Moshe Y. - http://www.cs.rice.edu/~vardi/
Recent paper on the hardness of random formulas for SAT solver; bounded tree-width. |
Pitassi, Toniann - http://www.cs.arizona.edu/people/toni/
University of Arizona. |
Pitt, Francois - http://www.cs.toronto.edu/~fpitt/
University of Toronto. |
Levesque, Hector - http://www.cs.toronto.edu/~hector/
Local search, random SAT, artificial intelligence. |
Beigel, Richard - http://knight.cis.temple.edu/~beigel/
Temple University. |
Leivant, Daniel - http://www.cs.indiana.edu/~leivant/
Indiana University. |
Spielman, Daniel A. - http://www.cs.yale.edu/homes/spielman/
Professor of Applied Mathematics and Computer Science at Yale. |
Selman, Alan - http://www.cse.buffalo.edu/~selman/
University at Buffalo. |
Beame, Paul - http://www.cs.washington.edu/homes/beame/beame.html
University of Washington. |
Tompa, Martin - http://www.cs.washington.edu/homes/tompa/
University of Washington. |
Vadhan, Salil - http://www.eecs.harvard.edu/~salil/
Harvard University. |
Hemaspaandra, Lane - http://www.cs.rochester.edu/u/lane/
University of Rochester. |
Luby, Michael - http://www.icsi.berkeley.edu/~luby/
International Computer Science Institute. |
Papadimitriou, Christos H. - http://www.cs.berkeley.edu/~christos/
Author of the very popular book on complexity theory. Home page with recent publications and links to courses. |
Shoup, Victor - http://www.shoup.net/
Courant Institute. |
Moore, Cris - http://www.santafe.edu/~moore/
University of New Mexico. |
Grigni, Michelangelo - http://www.mathcs.emory.edu/~mic/
Emory University. |
Barak, Boaz - http://www.cs.princeton.edu/~boaz/
Institute for Advanced Studies. |
Arora, Sanjeev - http://www.cs.princeton.edu/~arora/
Princeton University. |
Chazelle, Bernard - http://www.cs.princeton.edu/~chazelle/
Princeton University. |
Magniez, Frederic - http://www.lri.fr/~magniez/
University of Paris. |
Vitanyi, Paul - http://homepages.cwi.nl/~paulv/index.html
University of Amsterdam. |
Razborov, Alexander - http://www.mi.ras.ru/~razborov/
Steklov Mathematical Institute. |
Matiyasevich, Yuri - http://logic.pdmi.ras.ru/~yumat/
Steklov Institute of Mathematics. |
Hirsch, Edward - http://logic.pdmi.ras.ru/~hirsch/index.html
Steklov Institute of Mathematics at St.Petersburg. |
Czumaj, Artur - http://wwwcs.upb.de/cs/artur.html
University of Paderborn. |
Parberry, Ian - http://www.eng.unt.edu/ian/
Department of Computer Science and Engineering, University of North Texas. |
Allender, Eric - http://www.cs.rutgers.edu/~allender/
Rutgers, the State University of NJ. |
Dantsin, Evgeny - http://cs.roosevelt.edu/~dantsin/
Roosevelt University. |
Schulman, Leonard - http://www.cs.caltech.edu/~schulman/index.html
California Institute of Technology. |
Veith, Helmut - http://www.model.in.tum.de/~veith/
Institute of Information Systems. |
Jiang , Tao - http://www.cas.mcmaster.ca/~jiang/
McMaster University. |
Rogers, John - http://facweb.cs.depaul.edu/jrogers/
DePaul University. |
Hesse, William - http://people.clarkson.edu/~whesse/
Clarkson University. |
Liskiewicz, Maciej - http://www.ii.uni.wroc.pl/~liskiewi/
University of Wroclaw. |
Kabanets, Valentine - http://www.cs.sfu.ca/~kabanets/
Simon Fraser University. |
Edmonds, Jeff - http://www.cse.yorku.ca/~jeff/
York University. |
Wigderson, Avi - http://www.math.ias.edu/~avi/
Institute for Advanced Study, Princeton. |
Rudich, Steven - http://www.cs.cmu.edu/~rudich/
Carnegie Mellon University. |
Khuller, Samir - http://www.cs.umd.edu/users/samir/index.html
University of Maryland. |
Furer, Martin - http://www.cse.psu.edu/~furer/
Pennsylvania State University. |
Sitharam, Meera - http://www.cise.ufl.edu/~sitharam/
University of Florida. |
Chang, Richard - http://www.csee.umbc.edu/~chang/
University of Maryland. |
Bellare, Mihir - http://www.cse.ucsd.edu/users/mihir/
University of California, San Diego. |
Buss, Samuel - http://euclid.ucsd.edu/~sbuss/
University of California, San Diego. |
Russell, Alexander - http://www.cse.uconn.edu/~acr/
University of Connecticut. |
Pollett, Chris - http://www.cs.sjsu.edu/faculty/pollett/
San Jose State University. |
Lutz, Jack - http://www.cs.iastate.edu/~lutz/
Iowa State University. |
Van Melkebeek, Dieter - http://pages.cs.wisc.edu/~dieter/
University of Wisconsin-Madison. |
Case, John - http://www.cis.udel.edu/~case/
University of Delaware. |
Chen, Jianer - http://faculty.cs.tamu.edu/chen/
Texas A&M University. |
Klauck, Hartmut - http://pages.cpsc.ucalgary.ca/~klauckh/
University of Calgary. |
Buss, Jonathan - http://www.cs.uwaterloo.ca/~jfbuss/
University of Waterloo. |
Wolkowicz, Henry - http://orion.math.uwaterloo.ca/~hwolkowi/
University of Waterloo. |
Hermann, Miki - http://www.lix.polytechnique.fr/~hermann/
National Center for Scientific Research (France). |
Ryabko, Boris - http://boris.ryabko.net/
Siberian State University. |
Moscato, Pablo - http://www.densis.fee.unicamp.br/~moscato/
Universidade Estadual de Campinas. |
Gal, Anna - http://www.cs.utexas.edu/users/panni/
University of Texas at Austin. |
Zuckerman, David - http://www.cs.utexas.edu/users/diz/
University of Texas at Austin. |
Green, Frederic - http://aleph0.clarku.edu/~fgreen/home.html
Clark University. |
Thierauf, Thomas - http://theorie.informatik.uni-ulm.de/Personen/tt.html
Universität Ulm. |
Schuler, Rainer - http://theorie.informatik.uni-ulm.de/Personen/rs.html
Universität Ulm. |
Meinel, Christoph - http://www.hpi.uni-potsdam.de/meinel/chair.html
Hasso Plattner Institute for Software Systems Engineering, University of Potsdam |
Jukna, Stasys - http://www.thi.informatik.uni-frankfurt.de/~jukna/
Johann Wolfgang Goethe University. |
Merkle, Wolfgang - http://math.uni-heidelberg.de/logic/merkle/merkle.html
Ruprecht Karls Universität Heidelberg. |
Niedermeier, Rolf - http://theinf1.informatik.uni-jena.de/~niedermr/
Universität Tübingen. |
Bläser, Markus - http://www-cc.cs.uni-sb.de/mblaeser/
Saarland University, Department of Computer Science |
Manthey, Bodo - http://www-cc.cs.uni-sb.de/manthey/
Institute of Theoretical Computer Science. |
Karpinski, Marek - http://theory.cs.uni-bonn.de/~marek/
University of Bonn. |
Johannsen, Jan - http://www.tcs.informatik.uni-muenchen.de/~jjohanns/
University of München. |
Bollig, Beate - http://ls2-www.cs.uni-dortmund.de/~bollig/
University of Dortmund. |
Sieling, Detlef - http://ls2-www.cs.uni-dortmund.de/~sieling/
Dortmund University. |
Sauerhoff, Martin - http://ls2-www.informatik.uni-dortmund.de/~sauerhof/
Dortmund University. |
Zheng, Xizhong - http://www-sst.informatik.tu-cottbus.de/~wwwti/zheng/
Brandenburgische Technische Universität Cottbus. |
Kosub, Sven - http://www.inf.uni-konstanz.de/~kosub/
Technische Universität München. |
Simon, Hans Ulrich - http://www.ruhr-uni-bochum.de/lmi/simon/index.html
Ruhr-Universität Bochum. |
Waack, Stephan - http://user.informatik.uni-goettingen.de/~waack/
Universität Göttingen. |
Savicky, Petr - http://www.cs.cas.cz/~savicky/
Institute of Computer Science, Academy of Sciences of the Czech Republic. |
Ben-Sasson, Eli - http://www.cs.technion.ac.il/~eli/
Senior Lecturer, Technion, Haifa, Israel. |
Per Bjesse - http://www.cs.chalmers.se/~bjesse/
SAT-based hardware verification (using Stalmarck's algorithm) |
Pudlák, Pavel - http://www.math.cas.cz/~pudlak/
Mathematical Institute of the Academyof Sciences of the Czech Republic. |
Kann, Viggo - http://www.nada.kth.se/~viggo/index-en.html
Nada. |
Håstad, Johan - http://www.nada.kth.se/~johanh/
Kungliga Tekniska högskolan. |
Kiwi, Marcos - http://www.dim.uchile.cl/~mkiwi/
University of Chile. |
Kushilevitz, Eyal - http://www.cs.technion.ac.il/~eyalk/
Israel Institute of Technology. |
Chen, Hubie - http://www.tecn.upf.es/~hchen/
Cornell University. |
Grolmusz, Vince - http://www.cs.elte.hu/~grolmusz/
Eötvös University. |
Chaitin, Greg - http://www.cs.auckland.ac.nz/CDMTCS/chaitin/
IBM Research. |
Alon, Noga - http://www.math.tau.ac.il/~nogaa/
School of Mathematical Sciences at Tel Aviv University. |
Balcázar, Jose - http://www-lsi.upc.es/~balqui/home.html
Facultat d'Informatica de Barcelona. |
Ben-Or, Michael - http://www.cs.huji.ac.il/~benor/
The Hebrew University. |
Calude, Cristian - http://www.cs.auckland.ac.nz/~cristian/
University of Auckland. |
Mayordomo, Elvira - http://webdiis.unizar.es/~elvira/
Instituto de investigación en Ingeniería de Aragón. |
Krajicek, Jan - http://www.math.cas.cz/~krajicek/
Mathematical Institute of the Academy of Sciences of the Czech Republic. |
Vereshchagin, N.K. - http://lpcs.math.msu.su/~ver/
Moscow State University. |
Zwick, Uri - http://www.math.tau.ac.il/~zwick/
Tel Aviv Univerusity. |
Busygin, Stas - http://busygin.dp.ua/
Efficient algorithms for hard computational problems; NP-completeness. Publications; software; resources on NP-completeness. |
Nisan, Noam - http://www.cs.huji.ac.il/~noam/index.html
Hebrew University. |
Sgall, Jiri - http://www.math.cas.cz/~sgall/
Mathematical Institute, Academy of Sciences of the Czech Republic. |
Raz, Ran - http://www.wisdom.weizmann.ac.il/~ranraz/
Weizmann Institute of Science. |
Reischuk, Rüdiger - http://www.itheoi.mu-luebeck.de/mitarbeiter/reischuk/
Universität zu Lübeck. |
Arsham, Hossein - http://home.ubalt.edu/ntsbarsh/index.html
University of Baltimore. |
Yao, Chi Chin - http://www.castu.tsinghua.edu.cn/yao/
Tsinghua University. |
Kutrib, Martin - http://www.informatik.uni-giessen.de/staff/kutrib.html
Universität Gießen. |
Xu, Ke - http://www.nlsde.buaa.edu.cn/~kexu/
Beijing University of Aeronautics and Astronautics. |
Complexity People - http://eccc.hpi-web.de/eccc/info/people.html
A list of researchers, maintained by the Electronic Colloquium on Computational Complexity. |
Reinhardt, Klaus - http://www-fs.informatik.uni-tuebingen.de/~reinhard/
Universität Tübingen. |
Kutylowski, Miroslaw - http://wwwcs.uni-paderborn.de/fachbereich/AG/agmadh/WWW/english/Kuty.html
University of Paderborn. |
Hitchcock, John - http://www.cs.uwyo.edu/~jhitchco/
University of Wyoming. |
Hosting Metrics