Madrid / Colville / Novosibirsk / Bristol / Paris / Oxford / Amagi / Manchester / Kyoto / Exeter / Marktoberdorf / Philadelphia / Munich / Turin / Amsterdam / Szeged / Nottingham / Hoboken / Aalborg / Newcastle / Geneva / Dublin / Gotheburg / Barcelona / Eichst¨att / Bangalore / Pisa / Kansas City / Engineering / Berlin / Gdansk / Ditto / Aachen / Copenhagen / Kista / London / Peniscola / St. Andrews / /
Company
Distributed Systems / Discrete Event Systems / CONCUR / Computer Laboratory / Panel Discussion / External Review Panel / IBM / Ferranti Ltd / Communicating Systems / 2009 Cambridge University Press / Journal Theoretical Computer Science / Microsoft / /
Country
Hungary / France / Japan / Canada / United Kingdom / Israel / Finland / India / Denmark / Germany / Italy / Sweden / Poland / United States / Spain / /
Facility
University Degrees / University of Stirling / Keele University / Stanford University / University College / Imperial College / University of Glasgow / Swedish Institute of Computer Science / University of Swansea / Edinburgh University / University of Edinburgh / City University / University of Trento / Rutgers University / University of Cambridge External / IT University of Copenhagen / University of Bologna / IT University / Aarhus University / University of Paris Sud / The City University / University of Sussex / Weizmann Institute / University of Wisconsin / University of Warwick Internal / University College Swansea / Chalmers University / Computer Laboratory / University of Cambridge / University of Chicago / Cornell University / University Grants Commission / Massachusetts Institute of Technology / University of Essex / University of Pennsylvania / /
IndustryTerm
ubiquitous systems / hardware systems / pervasive computing / communications description language / reactive systems / large software system / interactive applications / deductive systems / larger / concurrent systems / computing / informatic systems / ubiquitous software / ubiquitous computing / graphical reactive systems / concurrent interactive systems / Mobile computing systems / interactive computing world / postgraduate course computing theory / industrial applications / model underlying software / model mobile computing / proof systems / /
Organization
Cambridge University / Aarhus University / Edinburgh University / Institut National de Recherche / International Summer School / SERC / Rutgers University / Mathematical Sciences Subcommittee / Universities’ Funding Council / Massachusetts Institute of Technology / University of Bologna / Worldwide Web committee / University of Trento / Centre for Cognitive Science / Royal Society of Edinburgh / Informatics Planning Unit / University College / Sectional Committee / Cornell University / University of Swansea / Chalmers University / French Summer School on Petri / Professors of Computer Science / University of Sussex / University of Warwick Internal / University of Paris Sud / City University London / International Congress / University of Chicago / University of Edinburgh / European Science Foundation / European Association for Theoretical Computer Science / Keele University / Past council / Formal Aspects of Computer Science / University of Cambridge External / School on Petri Nets / Danish National Research Foundation / UK Association for Logic Programming Conference / London Mathematical Society / University College Swansea / Laboratory for Foundations of Computer Science / Information Technology Advisory Board / Royal Society of London / UK Computing Research Committee / Imperial College London / Weizmann Institute / University of Pennsylvania / Marylebone Grammar School / IT University / Alvey Directorate / University of Essex / University of Glasgow / Imperial College / Artificial Intelligence Department / Swedish Institute of Computer Science / Congress / British Computer Society / University of Cambridge / Univ of Hamburg / European Association for Computer Science Theory / Stanford University / Working party / Military Service / University Grants Commission / University of Wisconsin / Madison / Royal Society / University of Stirling / IT University of Copenhagen / /
Person
Blaise Pascale Chaire / Michael Gordon / Bill Gates / Dana Scott / Mark Jerrum / Chris Jones / Acad / Luca Cardelli / Carl Adam Petri / Warwick Internal / Cliff Jones / St Andrews / Arthur John Robin Gorell Milner / / /
Position
Mathematics Teacher / Head / Research Associate / current editor for Research Notes / co-chairman / Professor / Computer Science / Professor / Senior Research Assistant / 2nd Lieutenant / Professor of Computer Science / Head of Department / model for mobile interaction” / editor / Founding chairman / speaker / Research Professor / model for moving objects” / founding Director / Chairman / Director / Chairman of research assessment / Robert Constable / Lecturer / Chair / leader of research / Distinguished Lecturer / /
CURRICULUM VITAE (revised in January[removed]Name