Computer Science

Niedermeier, Rolf Niedermeier, Rolf- Universität Tübingen. Goldwasser, Shafi Goldwasser, Shafi- Massachusetts Institute of Technology. Kosub, Sven Kosub, Sven- Technische Universität München. Van Melkebeek, Dieter Van Melkebeek, Dieter- University of Wisconsin-Madison. Parberry, Ian Parberry, Ian- Department of Computer Science and Engineering, University of North Texas. Vardi, Moshe Y. Vardi, Moshe Y.- Recent paper on the hardness of random formulas for SAT solver; bounded tree-width. Franco, John Franco, John- Probabilistic analysis of algorithms, polynomial time solvable subclasses of satisfiability. Levesque, Hector Levesque, Hector- Local search, random SAT, artificial intelligence. Frisch, Alan Frisch, Alan- Artificial Intelligence, constraint satisfaction problems Complexity People Complexity People- A list of researchers, maintained by the Electronic Colloquium on Computational Complexity. Ben-Sasson, Eli Ben-Sasson, Eli- Senior Lecturer, Technion, Haifa, Israel. Edmonds, Jeff Edmonds, Jeff- York University. Buss, Jonathan Buss, Jonathan- University of Waterloo. Waack, Stephan Waack, Stephan- Universität Göttingen. Rudich, Steven Rudich, Steven- Carnegie Mellon University. Zuckerman, David Zuckerman, David- University of Texas at Austin. Zheng, Xizhong Zheng, Xizhong- Brandenburgische Technische Universität Cottbus. Wolkowicz, Henry Wolkowicz, Henry- University of Waterloo. Wigderson, Avi Wigderson, Avi- Institute for Advanced Study, Princeton. Vitanyi, Paul Vitanyi, Paul- University of Amsterdam. Vereshchagin, N.K. Vereshchagin, N.K.- Moscow State University. Tompa, Martin Tompa, Martin- University of Washington. Sitharam, Meera Sitharam, Meera- University of Florida. Simon, Hans Ulrich Simon, Hans Ulrich- Ruhr-Universität Bochum. Sieling, Detlef Sieling, Detlef- Dortmund University. Shoup, Victor Shoup, Victor- Courant Institute. Sgall, Jiri Sgall, Jiri- Mathematical Institute, Academy of Sciences of the Czech Republic. Selman, Alan Selman, Alan- University at Buffalo. Ryabko, Boris Ryabko, Boris- Siberian State University. Russell, Alexander Russell, Alexander- University of Connecticut. Rogers, John Rogers, John- DePaul University. Raz, Ran Raz, Ran- Weizmann Institute of Science. Pudlák, Pavel Pudlák, Pavel- Mathematical Institute of the Academyof Sciences of the Czech Republic. Pollett, Chris Pollett, Chris- San Jose State University. Pitt, Francois Pitt, Francois- University of Toronto. Razborov, Alexander Razborov, Alexander- Steklov Mathematical Institute. Merkle, Wolfgang Merkle, Wolfgang- Ruprecht Karls Universität Heidelberg. Matiyasevich, Yuri Matiyasevich, Yuri- Steklov Institute of Mathematics. Lutz, Jack Lutz, Jack- Iowa State University. Luby, Michael Luby, Michael- International Computer Science Institute. Leivant, Daniel Leivant, Daniel- Indiana University. Kolmogorov, Aleksey Kolmogorov, Aleksey- Moscow State University. Kushilevitz, Eyal Kushilevitz, Eyal- Israel Institute of Technology. Kutrib, Martin Kutrib, Martin- Universität Gießen. Kiwi, Marcos Kiwi, Marcos- University of Chile. Khuller, Samir Khuller, Samir- University of Maryland. Kabanets, Valentine Kabanets, Valentine- Simon Fraser University. Karpinski, Marek Karpinski, Marek- University of Bonn. Kann, Viggo Kann, Viggo- Nada. Jukna, Stasys Jukna, Stasys- Johann Wolfgang Goethe University.