Elected member of Academia Europaea. Fellow of the British Computer Society. Member of IFIP WG 1.3 (chair in 2004–2009). Member of UKCRC. Member of the Board of Editors of Information Processing Letters (Elsevier) and of EPTCS, and Associate Editor of SN Computer Science. Member of the Steering Committees of CALCO, FACS, FASE, WADT and WS-FM. Chair of the Steering Committees of CALCO (co-founder with Jan Rutten) in 2005-2009, ETAPS in 2002-2004, and WADT in 2004–2009.
My current research interests are in formal aspects of software system modelling and analysis in the context of global ubiquitous computing.
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Research output: Book/Report › Other report
Project: Research
ID: 7174155