Dubrovnik / Dresden / Banska-Bystrica / Madras / Budapest / Almaty / Munich / Pittsburgh / Amsterdam / Nottingham / Buenos Aires / Braga / Brasilia / Krakow / Yorktown / Perth / Oldenburg / New York / Ithaca / Berlin / Copenhagen / Dagstuhl / /
Company
Fault Tolerant Systems / MIT Press / Plenum Press / IBM Corporation / Polonomial Systems / Chicago Journal / /
Country
Netherlands / Brazil / Canada / Australia / Portugal / Slovakia / United Kingdom / Denmark / Germany / Croatia / Kazakhstan / Poland / Singapore / /
Facility
Computer Science Columbia University / Tulane University / Dartmouth College / College of Arts / Gates Hall Cornell University / Computer Science Cornell University / Cornell University / Williams College / University of Amsterdam / College of Engineering / Computation Project Aarhus University / / /
IndustryTerm
parallel algorithms / Polynomial decomposition algorithms / finite-state concurrent systems / fixedpoint operator / kozen cs cornell edu Web / /
Movie
New Orleans 7 / /
Organization
Cornell University Employment Kiewit Computation Center / Columbia University / office of Naval Research / Tulane University / New Orleans / Association of Computing Machinery / Office Computer Science Department / Dartmouth College / Cornell University / Advisory Boards Centre for Basic Research / Polish Ministry of Education / College of Engineering / University of Amsterdam / Amsterdam / J. Assoc. / College of Arts and Sciences / AT&T Foundation / National Science Foundation / MIT / University of California / Berkeley / Williams College / Contact Office / Congress / Department of Defense Sponsored Information Security Research / Computation Project Aarhus University / American Association for the Advancement of Science / Computing Research Assoc. / Faculty of the Year / Association of Computer Science Undergraduates / John Simon Guggenheim Foundation / /
Person
Zofia Adamowicz / Alexa Sharp / Ashok Chandra / Rabin / Edward Wimmers / John Reif / Doug Ierardi / Ephraim Feig / Christopher Hardin / John Field / Larry Stockmeyer / Kjartan Stefansson / Michael I. Schwartzbach / Kamal Aboul-Hosn / Alexander Aiken / Bradley T. Vander Zanden / Anil Nerode / Hubert Chen / Susan Landau / Margery Russell Distinguished / Devdatt Dubhashi / Jerzy Tiuryn / David McAllester / Andrew C. Myers / Robert Givan / Jan Wolenski / Juris Harmanis / William Pugh / Alfred Tarski / James Michael Worthington / Daniel M. Lazar / Jean-Baptiste Jeannin / Richard Zippel / Matthew T. Dickerson / Prasoon Tiwari / Greg Morrisett / Wilfred Chen / Neil Immerman / John G. Kemeny / Applied Logic / Tim Teitelbaum / David Harel / John Simon / Ewa Orlowska / Wolfgang Reisig / Michael Tien / Brad Vander Zanden / Carl Witty / Nicholas Ruozzi / Newton Pew / Jr. / Dexter Campbell Kozen / Andreas Blass / Fred B. Schneider / Logical Methods / Eugene Ressler / Dopo Le Parole / Morgan Kaufmann / Stephen Distinguished / Joseph Newton / Richard Stearns / David Pearson / Lucja Kot / Jens Palsberg / Damian Niwinski / Dexter C. Kozen / Shmuel Zaks / Ernie Cohen / Anna Romanowska / Kjartan Stef´ansson / Yuri Gurevich / Mark B. Novick / Rohit Parikh / George Collins / Krzysztof Apt / Sarah A. Spence / Nils Klarlund / Douglas J. Ierardi / Nachum Dershowitz / Agnes Szanto / Sergei Artemov / Jeffrey Hartline / Michael Ben-Or / Arthur Neal Glew / / /
Position
chair 1998 G¨odel prize committee / Systems Programmer / Adjunct Professor / Professor / Associate Professor / Professor in Engineering / editor / Consultant / chair / Manager / Theory / /
ProvinceOrState
Quebec / Swansea / New York / Mississippi / California / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / Philosophy of Science / Journal of Symbolic Computation / Theoretical Computer Science / Theory of Computing / /