International research projects

  • COST Action IC1405 on Reversible Computation. PI for RU are Luca Aceto and Anna Ingólfsdóttir.

  • “Effective Model-Based Testing of Concurrent System (EFFEMBAC)”. Grant of the Swedish Science Foundation (VR) for the period 2014–2019. The PI for the project is MohammadReza Mousavi (Halmstad University). Luca Aceto is a project co-proposer in cooperation with Gul Agha (University of Illinois at Urbana-Champaign), Walid Taha (Halmstad University) and Jan Tretmans (Radboud University, Nijmegen). The total funding is 6,629K SEK (roughly 719,000 euros) for the period 2014–2019.

  • Cooperation grant as part of the Priority Sectors Programme of the EEA Grants Framework with the University of Szeged (Hungary). The project  is led by Luca Aceto and Anna Ingolfsdottir (RU) and Zoltán Ésik (Szeged).

  • “Formal Methods for the Development and Evaluation of Sustainable Systems”. Grant under the Programme NILS Science and Sustainability (Abel—Coordinated Mobility for Researchers) as part of the Priority Sectors Programme of the EEA Grants Framework. The project is a collaboration between Reykjavik University and Universidad Complutense de Madrid, and is led by Luca Aceto and Anna Ingolfsdottir (RU) and David de Frutos Escrig (UCM). The total funding is 100,050 euros for the period 2014–2015.

  • “IOS Distinguished Scholarship” from the Institute of Software of the Chinese Academy of Sciences (36,000 yuan), November 2013. Grant holders: Luca Aceto and Anna Ingólfsdóttir. 

  • Abel Extraordinary Chair grant to visit Universidad Complutense Madrid in the period 15 October–15 December 2010. (13,600 euros.) Grant holder: Luca Aceto. 

  • (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