Farhad Arbab

Farhad Arbab is a researcher at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, Netherlands, affiliated with the Computer Security department. His work focuses on formal methods for modeling and analyzing cyber-physical systems (CPS) and coordination models.

• Current affiliation: Researcher at CWI's Computer Security department
• Research areas: Cyber-Physical Systems, Formal Methods, Workflow Modeling, Constraint Automata

Arbab's research develops component-based semantic models for CPS using constraint automata and the Reo coordination language. His framework enables:

• Algebraic composition of cyber-physical components
• Formal modeling of priority constraints in workflows
• Runtime composition with lazy expansion techniques
• Verification via Maude rewriting logic system

Recent publications analyze:

• Parallel composition of constraint automata (2025)
• Concurrency in rule-based machines (2025)
• Runtime composition techniques (2023)
• Formal frameworks for distributed CPS (2022)

Awards & Projects:

• FACS Best Paper Award (2015)
• Bronzen Achievement Award (2009)
• EU/NWO-funded initiatives: COMPAS (2008), WoMaLaPaDiA (2007), CREDO (2006)