Dubrovnik / Springer-Verlag / Sophia-Antipolis / Austin / Paris / Stockholm / Manchester / Marktoberdorf / Philadelphia / Amsterdam / Hollywood / Washington / DC / Atlanta / Edinburgh / /
Company
Prentice-Hall / Computer Society Press / Cambridge University Press / MIT Press / Algorithmic Press / IEEE Computer Society Press / IOS Press / Construction Attack-Tolerant Systems / Computer Science Press / Elsevier Science B.V. / PRL Group / Russell / Elsevier B.V. / High-Performance Communication Systems / PRL Research Group / CRA IT Deans Group / Microsoft / /
Country
Netherlands / France / United Kingdom / Israel / Croatia / / /
Facility
University of Wisconsin PROFESSIONAL ACTIVITIES / Building Reliable / Contacting Address United States Computer Science Department Cornell University / University of Michigan / University of Wisconsin / Princeton University / Hall Ithaca / Cornell University / University of Edinburgh Computer Science Notes / Johns Hopkins University / / /
IndustryTerm
distributed computing / /
Organization
Cambridge University / University of Michigan / NATO Summer School / Princeton University / Broadcast Service / Faculty of Computing and Information Science / Cornell University / Cognitive Studies Executive Committee / Association for Symbolic Logic / North Atlantic Treaty Organization / American Mathematical Society / Task Force on Mathematics / University of Edinburgh / Research Initiatives Task Force / Oxford University / University of Wisconsin PROFESSIONAL ACTIVITIES / Council of Higher Education / MIT / Johns Hopkins University / Princeton University Advisory Council for Computer Science / School of Information / Foundation for Computer Science / Computing and Information Science Task Force / Congress / Vol. / Department of Computer Science / ASL Council / University of Wisconsin / /
Person
Amanda Holland-Minkley Lori / Donnell Joseph / James T. Sasaki Todd / W. Brauer / Curriculum Vitae / Kurt Mehlhorn / F. L. Bauer / Joseph L. Bates Tat-Hung / Dean B. Krafft Robert / G. Bancerek / R. W. Grow / Robert V. Harris / J. Woods / A. Asperti / S. R. Buss / Scott F. Smith David / V. Harris Stephen / M. A. Yoder / D. Johnson Dean / C. Talcott / M. J. Gonzalez / Scott D. Johnson / Solomon Feferman / Judith Underwood Rod Moten James / T. Weber / F. Kamareddine / C. K. Rushforth / A. Trybulec / Lori Lorigo / F. Allen Timothy / Karl Crary Jason Hickey / John C. Cherniavsky Kurt Mehlhorn Edmund / C. Hauser / Pavel Naumov Ozan Hafizogullari / Eli Barzilay Wojciech Moczydlowski / G. L. Engel / John Simon Guggenheim / W. Sieg / P. Wegner / M. F. Iskander / R. Sommer / David Basin / Hung Chan John / Ralph Benzinger / Mark Hayden Pavel Naumov Ozan / D. McAllester / Todd B. Knoblock Stuart / Stephen Cole Kleene / Timothy G. Griffin Chetan Murthy / R. Steinbrueggen / D. Pichardie / Stuart F. Allen / Wilfred Chen Paul Jackson Mark Hayden Pavel / W. Rance Cleaveland / M. Broy / Symbolic Logic / H. Schwichtenberg / James L. Caldwell Karl Crary Jason / S. Johnson / Allan B. Borodin Robert V / John P. Privitera Ryan / C. H. Durney / G. Huet / D. Lewis John / A. Kanamori / Aleksey Nogin / Ryan D. Stansifer James / U. Berger / N. Schiper / V / Edmund M. Clarke / Jr. / D. M. Gabbay / R. Parihk / Carl Hauser Scott / Douglas J. Howe Scott / Stephen S. Muchnick Michael / / /
Position
Academic Leader / General / Professor / Director of Graduate Studies / General Chair / Associate Professor / editor / Dean / Chairman / L. Constable / Assistant Professor / Chair / member / Harper / /
Product
Skullcandy G.I. Headphone/Headset / /
ProgrammingLanguage
Mathematica / PL/C / DC / /
ProvinceOrState
New York / California / Georgia / Texas / Wisconsin / Pennsylvania / /
PublishedMedium
Journal of the ACM / the Theory of Computing / Logical Methods in Computer Science / Theoretical Computer Science / Lecture Notes in Computer Science / /
Technology
Resolution Algorithm / Operating System / ASL / Knowledge Management / /