Details

Written by Christoph Wagner

Category: People

Published: 14 June 2013

Institutes

• Denmark, Sweden
  • BRICS: Basic Research in Computer Science, Denmark
  • Aalborg University, DoCS, Semantics & Theory of Computation: Ny-Klubben
  • Uppsala University, DoCSystems: Mobility Group
  • SICS Stockholm, The FDT group
  • Halmstad University, Model-Based Testing and Verification
• France, Italy
  • INRIA Rocqencourt: MOSCOVA (formerly PARA)
  • INRIA Sophia-Antipolis: MIMOSA (formerly Mobility Group)
  • University of Provence, Marseille, CMI, Modelisation & Verification
  • University of Bologna, Dept. of Computer Science
  • University of Pisa, DoCS, Process Description Languages
  • University of Firenze, Concurrency and Mobility Group
  • University of Genova, DISI
• Switzerland, Netherlands, Germany
  • EPF Lausanne, Programming Methods Lab
  • University of Berne, Software Composition Group
  • Centrum voor Wiskunde en Informatica (CWI)
  • Eindhoven University of Technology, Formal Methods Group
  • Leiden University, Theoretical Computer Science
  • Technical University München, Higher Order and Mobile Systems
  • University of Saarbrücken, DFKI, Programming Systems Lab
  • University of Karlsruhe, Institute for Program Structures and Data Organization
• Scotland, England
  • Microsoft Research at Cambridge: Programming Principles and Tools
  • University of Edinburgh, LFCS
  • University of Cambridge, Theory and Semantics of Programming Languages
  • University of Sussex at Brighton, COGS, Foundations of Computation (pub)
  • University of London, Department of Computing, Theory and Formal Methods
• United States, Japan
  • Carnegie-Mellon University (CMU), School of Computer Science
  • Massachusetts Institute of Technology (MIT), Programming Methodology Group
  • Kobayashi Lab
  • Yonezawa Lab (pub)
  • Tokoro Lab

Effective 2006