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

Was the content helpful? Yes No