Farhad Arbab

Full Name
Prof.dr. F. Arbab
Function(s)
Scientific Staff Member, professor - Universiteit Leiden
Email
Farhad.Arbab@cwi.nl
Telephone
+31 20 592 4056
Room
L217
Department(s)
Formal Methods

Publications

Current projects with external funding

  • Detection and Diagnosis of Deviations in Distributed Systems of Autonomous Agents

Professional activities

  • Professor: Universiteit Leiden ヨ (UL)
  • Committee member: Annual Computer Society of Iran Computer Conference - [CSICC]
  • Committee member: Formal Aspects of Component Software(FACS)
  • Committee member: European Conference on Service-Oriented and Cloud Computing (ESOCC),
  • Committee member: International Conference on Coordination Models and Languages - [COORDINATION]
  • Committee member: International Federated Conference on
  • Committee member: international conference on Topics in
  • Committee member: International Conference on Fundamentals
  • Committee member: International Workshop on Foundations of
  • 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)