International research projects

• (2+2)-free posets, ascent sequences and pattern avoiding permutations (LaBRI, Université Bordeaux, France)
• Algorithms and Formal Methods for Distributed Computing (Universite Paris VII - Diderot, France)
• Algorithms for hypergraphs (George Mason University, Virginia, USA; Tata Institute for Fundamental Research, Mumbai, India; University of Bergen, Norway)
• Apertium - A free/open-source machine translation platform.  (University of Alicante, Spain)
• Approximation algorithms for hard computational problems (Kyoto University, Japan)
• Boolean complexes for Ferrer graphs (DePaul University, USA)
• Brain Project, USC, USA
• Characteristic Formulae for Processes (University of Birmingham, UK)
• COST Action 294 "MAUSE"
• COST Action 2102 - EU network on studying multimodal behavior
• COST IC0904 – Twintide
  
• DryadLINQ: efficient, reliable data-parallel computing (Microsoft Research, Silicon Valley, USA)
• Eff2 project (IRISA, France; Eff2 Technologies, Iceland)
• Enumerating (2+2)-free posets by the number of minimal elements and other statistics (University of California San Diego, USA)
• General Game Playing (Artificial Intelligence Institute, Technical University of Dresden, Germany)
• Generalized Möbius algebras (KTH, Stockholm)
• Humanoid Agents in Social Game Environments Project Manager: Hannes Högni Vilhjálmsson Partners: University of Southern California, USA; ParisTech, France Source of funding: Rannís
• Humanoids That Learn Socio-Communicative Skills by Observation Project Manager: CADIA (Thorisson & Nivel) Partners: Scuola Universitaria Professionale Della Svizzera Italiana í Sviss - Dalle Molle Institute for Artificial Intelligence (SUPSI-IDSIA), Università degli Studi di Palermo - Robotics Lab (UNIPA -DINFO), National Research Council á Ítalíu (CNR-ISTC), Universidad Politécnica de Madrid á Spáni - Atonomous Systems Laboratpry (UPM-ASLAB), and Communicative Machines Limited (UK)) Source of funding: EU Workprogramme: FP7
• IFIP Working Group 1.8 on Concurrency Theory
• Integration of browsing and searching (IRISA, France)
• MANA - Monitoring remote environments with Autonomous sensor Network-based data Aquisition systems. (IT University, Denmark; INRIA, France; Arch Rock, USA; Dan Systems, Denmark)
• Meta-theory of Algebraic Process Theories (Eindhoven University of Technology, NL, and Vrije Universiteit Amsterdam, NL)
• Möbius Function of the Permutation Pattern Poset (DePaul University, USA)
• "New Developments in Operational Semantics": Collaboration with Eindhoven University of Technology, NL, and Vrije Universiteit Amsterdam, NL. See /luca/PROJECTS/SOS/team.html
• New pattern matching conditions for wreath products of the cyclic groups with symmetric groups (University of California San Diego, USA; University of Wisconsin, Eau Claire, USA)
•  Nordic Network on Algorithms (NoNA)
• Poset Maps and Möbius functions (Univ. Calif., Davis, USA)
• Rationality, irrationality and Wilf equivalence in generalized factor order (California Polytechnic State University, USA; Michigan State University, USA; University of California San Diego, USA)
• Representable graphs (Sobolev Institute of Mathematics, Russia)
• Research on educational programs at MSc level (Budapest University of Technology and Economics, Hungary)
• SAIBA international behavior specification standards group (several international partners)
• Scheduling split intervals (Technion - Israel Institute of Technology, Israel)
• Scheduling wireless networks (ETH Zurich, Switzerland)
• Strategic games (GAMES Research Group, Department of Computing Science, University of Alberta, Canada; Games and AI Group, Department of Knowledge Engineering, Maastricht University, The Netherlands)
• Study of the Applications of Concurrency Theory in Industry: Collaboration with Eindhoven University of Technology, NL,  TU Berlin, Germany, and Vrije Universiteit Amsterdam, NL.
• Syanco - Synthesis and Analysis of Component Connectors (Grant from DFG-NWO 2006-2008) Joint project between CWI and Technische Universität Dresden with Marjan Sirjani as guest researcher.
• Tagging, parsing and treebank construction. Collaborator: University of Pennsylvania, USA.
• "The Algorithmics of Bisimilarity": Collaboration with Aalborg University, DK
• The Coloring Complex of a Graph (Arizona State Univ., and MSRI, USA)
• "The Equational Logic of Parallel Processes": Collaboration with CWI Amsterdam, NL, Eindhoven University of Technology, NL,  and Vrije Universiteit Amsterdam, NL. See /luca/PROJECTS/EQLOGIC/team.html.
• Transactional Memory Introspection (Rutgers University, USA)
• Verifiably secure low-level device drivers (Microsoft Research, USA)
• Web application security (KTH, Sweden)

Collaboration with international companies and research institutions

• Alelo Inc. based in Los Angeles, USA
• Arch Rock, USA
• Communicative Machines, Ltd., UK
• Dan Systems, Denmark
• Eff2 Technologies, Iceland
• Honda Research Institute, CA, USA
• ISI, USC, USA
• ICT, USC, USA
• NASA