San Francisco / Montreal / Ottawa / Paris / Oxford / Manchester / Munich / Pittsburgh / Surrey / Shanghai / Lancaster / Leeds / Sheffield / Warsaw / Birmingham / Canberra / New Orleans / Berlin / Aachen / Copenhagen / Natal / Darmstadt / Amazonas / Chicago / /
Company
Cambridge University Press / MIT Press / BRICS / CONCUR / Computer Laboratory / Semantic Structures / China Machine Press / Philips / EASL / Awarded Leverhulme Trust / Aalborg / Microsoft Research Laboratory / /
Continent
Europe / /
Country
Brazil / Australia / United Kingdom / Denmark / Germany / Sweden / United States / /
Currency
USD / / /
Facility
University of NSW Sydney Australia / CarnegieMellon University / Stanford University / Imperial College / University of Copenhagen / Edinburgh University / University of Edinburgh / Emmanuel College / University of Aarhus / University of Cambridge Computer Laboratory William Gates Building / King’s College / Aarhus University / Denmark’s Technical University / University of Cambridge / Carnegie-Mellon University / University of Oxford / University of Macquarie Sidney Australia / Free University of Amsterdam / /
IndustryTerm
concurrent systems / proof systems / authentication protocols / /
Organization
Cambridge University / Aarhus University / LICS Testof-Time Award Committee / Laboratory for the Foundations of Computer Science / Edinburgh University / CarnegieMellon University / Pittsburgh / Isaac Newton Institute / BRICS Summer School / School on Computational / Technical University / U.S. Securities and Exchange Commission / Advisory board / University of Oxford / Computer Science Department / BRICS PhD School / University of Aarhus / University of Amsterdam / University of Edinburgh / Ecole Polytechnique / Ecole Normale Sup´erieure / Carnegie-Mellon University / European Union / Denmark’s Technical University / Rutgers / LICS Organizing Committee / European Association of Symbolic Logic / School on Computational and Syntactic Methods / Ecole Nationale Sup´erieure / National Science Foundation / MIT / University of Cambridge Computer Laboratory William Gates Building / Honour School of Computation / Isaac Newton Institute Summer School on Semantics of Computation / Centre for Basic Research / Imperial College / On committee / Honour School of Mathematics and Computation / Emmanuel College Research Fellowships Committee / Danish Research Council / University of Cambridge / Emmanuel College / Stanford University / Danish Research Foundation / King’s College / Editorial Board of Semantic Structures / CITIC Publishing House / Board of EASL / University of Copenhagen / Advisory Committee / LICS Test-of-Time Award Committee / Stanford / /
Person
Michael Pedersen / Henrik Skjødt / Julian Bradfield / Lucy Saunders-Evans / Sophia Antipolis / Dana S. Scott / Peter Strarup Jensen / Daniele Varacca / Claus Torp Jensen / Henrik Reif Andersen / Anders Pilegaard / Henrik Enstrøm / Sten Agerholm / Federico Crazzolara / Roy Marriot / Ecole Normale Sup / Jens Bæk Jørgensen / Category Theory / Carsten Rickers / Steffen Loesch / Ann-Grete Tan / Luca Cattani / Gordon Plotkin / Christian Clausen / Brian Andersen / David Turner / Mario Jose Caccamo / Aalborg / Hans Jacob Pedersen / Jean-Yves Girard / Jonathan Hayman / Jonathon Billington / Bettina Blaaberg Sørensen / Guo-Qiang Zhang / Ugo Montanari / Universit / Christopher Thompson-Walsh / Rikke Drewsen Andersen / Poul Christensen / Thomas Troels Hildebrandt / / /
Position
Invited lecturer / Head / Research Associate / Co-chairman / Director of Graduate Education / professor / Director of Studies / Invited speaker / Professor of Computer Science / Editor / Research Scientist / Site leader / Visiting Lecturer / speaker / Founding director / interpreter / model / chairman / low level circuit model / Keynote speaker / Director / Invited tutorial speaker / Chair / Lecturer / University Lecturer / Invited speaker at the 60th Birthday Event / /
Product
Cambridge / DART / /
ProvinceOrState
Swansea / Sussex / /
PublishedMedium
the Proceedings / Formal Aspects of Computing / Theoretical Computer Science / /