Farhad Arbab

Full Name
Prof.dr. F. Arbab
Function(s)
Researcher
Email
Farhad.Arbab@cwi.nl
Telephone
+31 20 592 4056
Room
L217
Department(s)
Formal Methods

Publications

Current projects with external funding

  • Evolutionary changes in Distributed Analysis (ECiDA)

Professional activities

  • Professor: Universiteit Leiden ヨ (UL)
  • Committee member: Annual Computer Society of Iran Computer Conference - [CSICC]
  • Committee member: International Conference on Coordination Models and Languages - [COORDINATION]
  • Editor: Member editorial board - Journal: International Journal of Next Generation Computing
  • Editor: Journal: Scientia Iranica: International Journal of Science and Technology

Grants

  • EU Project - COMPAS: Compliance-driven Models, Languages, and Architectures for Services (2008)
  • NWO Open Competition - WoMaLaPaDiA: Workflow Management for Large Parallel and Distributed Applications (2007)
  • NWO GLANCE - WoMaLaPaDiA: Workflow Management for Large Parallel and Distributed Applications (2007)
  • NWO Open Competition - CooPer: Coordination with Performance Guarantees (2006)
  • NWO/DFG bilateral project - SYANCO: Synthesis and Analysis of Component Connectors (2006)
  • EU Project - Credo: Modeling and Analysis of Evolutionary Structures for Distributed Services (2006)
  • NWO Focus - DiaCoDem: Distributed Implementation of Adaptive Collective Decision Making (2006)
  • NWO GLANCE - CooPer: Coordination with Performance Guarantees (2006)
  • NWO BRICKS - BRICKS-AFM3: Formal Methods for Active Networking (2005)
  • EU Project - Trust4All (2005)
  • NWO Open Competition: - C-Quattro: Compositional Calculus of Component Connectors (2004)
  • SENTER/NOVEM Project - CIM III: Composition of Web Services for Cybernetic Incident Management (2003)
  • Telematica Institute Project - ArchiMate: Insight through visualization of formal-semantics-based models of Enterprise Architectures (2002)
  • NWO Open Competition - CBCS: Coordination Based Constraint Solving (2001)

Awards

  • FACS Best Paper Award - co-authors: Sung-Shik Jongmans and Tobias Kapp� (2015)
  • Bronzen Achievement Award - Trust4All (2009)