 |
| | People - Theoretical, Computer Science, Computers 37
 Complexity PeopleComplexity People
 
A list of researchers, maintained by the Electronic Colloquium on Computational Complexity.
|
Allender, EricAllender, Eric
 Rutgers, the State University of NJ.
|
Alon, NogaAlon, Noga
 School of Mathematical Sciences at Tel Aviv University.
|
Arora, SanjeevArora, Sanjeev
 Princeton University.
|
Arsham, HosseinArsham, Hossein
 University of Baltimore.
|
Balcázar, JoseBalcázar, Jose
 Facultat d'Informatica de Barcelona.
|
Barak, BoazBarak, Boaz
 Institute for Advanced Studies.
|
Beame, PaulBeame, Paul
 University of Washington.
|
Beigel, RichardBeigel, Richard
 Temple University.
|
Bellare, MihirBellare, Mihir
 University of California, San Diego.
|
Ben-Or, MichaelBen-Or, Michael
 The Hebrew University.
|
Ben-Sasson, EliBen-Sasson, Eli
 Senior Lecturer, Technion, Haifa, Israel.
|
Bläser, MarkusBläser, Markus
 Saarland University, Department of Computer Science
|
Bollig, BeateBollig, Beate
 University of Dortmund.
|
Buss, JonathanBuss, Jonathan
 University of Waterloo.
|
Buss, SamuelBuss, Samuel
 University of California, San Diego.
|
Busygin, StasBusygin, Stas
 Efficient algorithms for hard computational problems; NP-completeness. Publications; software; resources on NP-completeness.
|
Calude, CristianCalude, Cristian
 University of Auckland.
|
Case, JohnCase, John
 University of Delaware.
|
Chaitin, GregChaitin, Greg
 IBM Research.
|
Chang, RichardChang, Richard
 University of Maryland.
|
Chazelle, BernardChazelle, Bernard
 Princeton University.
|
Chen, JianerChen, Jianer
 Texas A&M University.
|
Chen, HubieChen, Hubie
 Cornell University.
|
Czumaj, ArturCzumaj, Artur
 University of Paderborn.
|
Dantsin, EvgenyDantsin, Evgeny
 Roosevelt University.
|
Edmonds, JeffEdmonds, Jeff
 York University.
|
Fagin, RonaldFagin, Ronald
 IBM Almaden Research Center.
|
Franco, JohnFranco, John
 Probabilistic analysis of algorithms, polynomial time solvable subclasses of satisfiability.
|
Frisch, AlanFrisch, Alan
 Artificial Intelligence, constraint satisfaction problems
|
Furer, MartinFurer, Martin
 Pennsylvania State University.
|
Gal, AnnaGal, Anna
 University of Texas at Austin.
|
Goldwasser, ShafiGoldwasser, Shafi
 Massachusetts Institute of Technology.
|
Green, FredericGreen, Frederic
 Clark University.
|
Grigni, MichelangeloGrigni, Michelangelo
 Emory University.
|
Grolmusz, VinceGrolmusz, Vince
 Eötvös University.
|
Hajiaghayi, Mohammad TaghiHajiaghayi, Mohammad Taghi
 Massachusetts Institute of Technology.
|
Håstad, JohanHåstad, Johan
 Kungliga Tekniska högskolan.
|
Hemaspaandra, LaneHemaspaandra, Lane
 University of Rochester.
|
Hermann, MikiHermann, Miki
 National Center for Scientific Research (France).
|
Hesse, WilliamHesse, William
 Clarkson University.
|
Hirsch, EdwardHirsch, Edward
 Steklov Institute of Mathematics at St.Petersburg.
|
Hitchcock, JohnHitchcock, John
 University of Wyoming.
|
Homer, SteveHomer, Steve
 Boston University.
|
Jerrum, MarkJerrum, Mark
 University of Edinburgh.
|
Jiang, TaoJiang, Tao
 Professor of Computer Science, University of California - Riverside.
|
Johannsen, JanJohannsen, Jan
 University of München.
|
Jukna, StasysJukna, Stasys
 Johann Wolfgang Goethe University.
|
Kabanets, ValentineKabanets, Valentine
 Simon Fraser University.
|
Kann, ViggoKann, Viggo
 Nada.
|
Karpinski, MarekKarpinski, Marek
 University of Bonn.
|
Khuller, SamirKhuller, Samir
 University of Maryland.
|
Kiwi, MarcosKiwi, Marcos
 University of Chile.
|
Klauck, HartmutKlauck, Hartmut
 University of Calgary.
|
Kolmogorov, AlekseyKolmogorov, Aleksey
 Moscow State University.
|
Kosub, SvenKosub, Sven
 Technische Universität München.
|
Krajicek, JanKrajicek, Jan
 Mathematical Institute of the Academy of Sciences of the Czech Republic.
|
Kushilevitz, EyalKushilevitz, Eyal
 Israel Institute of Technology.
|
Kutrib, MartinKutrib, Martin
 Universität Gießen.
|
Kutylowski, MiroslawKutylowski, Miroslaw
 University of Paderborn.
|
Leivant, DanielLeivant, Daniel
 Indiana University.
|
Levesque, HectorLevesque, Hector
 Local search, random SAT, artificial intelligence.
|
Liskiewicz, MaciejLiskiewicz, Maciej
 University of Wroclaw.
|
Luby, MichaelLuby, Michael
 International Computer Science Institute.
|
Lutz, JackLutz, Jack
 Iowa State University.
|
Magniez, FredericMagniez, Frederic
 University of Paris.
|
Manthey, BodoManthey, Bodo
 Institute of Theoretical Computer Science.
|
Matiyasevich, YuriMatiyasevich, Yuri
 Steklov Institute of Mathematics.
|
Mayordomo, ElviraMayordomo, Elvira
 Instituto de investigación en Ingeniería de Aragón.
|
Meinel, ChristophMeinel, Christoph
 Hasso Plattner Institute for Software Systems Engineering, University of Potsdam
|
Merkle, WolfgangMerkle, Wolfgang
 Ruprecht Karls Universität Heidelberg.
|
Moore, CrisMoore, Cris
 University of New Mexico.
|
Moscato, PabloMoscato, Pablo
 Universidade Estadual de Campinas.
|
Niedermeier, RolfNiedermeier, Rolf
 Universität Tübingen.
|
Nisan, NoamNisan, Noam
 Hebrew University.
|
Papadimitriou, Christos H.Papadimitriou, Christos H.
 Author of the very popular book on complexity theory. Home page with recent publications and links to courses.
|
Parberry, IanParberry, Ian
 Department of Computer Science and Engineering, University of North Texas.
|
Per BjessePer Bjesse
 SAT-based hardware verification (using Stalmarck's algorithm)
|
Pitassi, ToniannPitassi, Toniann
 University of Arizona.
|
Pitt, FrancoisPitt, Francois
 University of Toronto.
|
Pollett, ChrisPollett, Chris
 San Jose State University.
|
Pudlák, PavelPudlák, Pavel
 Mathematical Institute of the Academyof Sciences of the Czech Republic.
|
Raz, RanRaz, Ran
 Weizmann Institute of Science.
|
Razborov, AlexanderRazborov, Alexander
 Steklov Mathematical Institute.
|
Reinhardt, KlausReinhardt, Klaus
 Universität Tübingen.
|
Reischuk, RüdigerReischuk, Rüdiger
 Universität zu Lübeck.
|
Rivest, RonaldRivest, Ronald
 Massachusetts Institute of Technology.
|
Rogers, JohnRogers, John
 DePaul University.
|
Rudich, StevenRudich, Steven
 Carnegie Mellon University.
|
Russell, AlexanderRussell, Alexander
 University of Connecticut.
|
Ryabko, BorisRyabko, Boris
 Siberian State University.
|
Sauerhoff, MartinSauerhoff, Martin
 Dortmund University.
|
Savicky, PetrSavicky, Petr
 Institute of Computer Science, Academy of Sciences of the Czech Republic.
|
Schuler, RainerSchuler, Rainer
 Universität Ulm.
|
Schulman, LeonardSchulman, Leonard
 California Institute of Technology.
|
Selman, AlanSelman, Alan
 University at Buffalo.
|
Sgall, JiriSgall, Jiri
 Mathematical Institute, Academy of Sciences of the Czech Republic.
|
Shoup, VictorShoup, Victor
 Courant Institute.
|
Sieling, DetlefSieling, Detlef
 Dortmund University.
|
Simon, Hans UlrichSimon, Hans Ulrich
 Ruhr-Universität Bochum.
|
Sitharam, MeeraSitharam, Meera
 University of Florida.
|
Spielman, Daniel A.Spielman, Daniel A.
 Professor of Applied Mathematics and Computer Science at Yale.
|
Sudan, MadhuSudan, Madhu
 Massachusetts Institute of Technology.
|
Thierauf, ThomasThierauf, Thomas
 Universität Ulm.
|
Tompa, MartinTompa, Martin
 University of Washington.
|
Vadhan, SalilVadhan, Salil
 Harvard University.
|
Van Melkebeek, DieterVan Melkebeek, Dieter
 University of Wisconsin-Madison.
|
Vardi, Moshe Y.Vardi, Moshe Y.
 Recent paper on the hardness of random formulas for SAT solver; bounded tree-width.
|
Veith, HelmutVeith, Helmut
 Institute of Information Systems.
|
Vereshchagin, N.K.Vereshchagin, N.K.
 Moscow State University.
|
Vitanyi, PaulVitanyi, Paul
 University of Amsterdam.
|
Waack, StephanWaack, Stephan
 Universität Göttingen.
|
Wigderson, AviWigderson, Avi
 Institute for Advanced Study, Princeton.
|
Wolkowicz, HenryWolkowicz, Henry
 University of Waterloo.
|
Xu, KeXu, Ke
 Beijing University of Aeronautics and Astronautics.
|
Yao, Chi ChinYao, Chi Chin
 Tsinghua University.
|
Zheng, XizhongZheng, Xizhong
 Brandenburgische Technische Universität Cottbus.
|
Zuckerman, DavidZuckerman, David
 University of Texas at Austin.
|
Zwick, UriZwick, Uri
 Tel Aviv Univerusity.
|
|
|
|
|
|
