• Program Co-Chair of the CS2Bio 2012, Stockholm, June 16, 2012.
• Presentation entitled Modelchecking evolution on-the-fly IMT Seminar, Lucca, January 18, 2012

Professional activities 2011

• PC-member of FSEN 2011, the 4th IPM International Conference on Fundamentals of Software Engineering, Tehran, April 20-22, 2011.
• PC-member of ICE 2011, the 4th Interaction and Concurrency Experience, Reykjavik, June 9, 2011.
• PC-member of CS2Bio 2011, the 2th international workshop on Interactions between Computer Science and Biology, Reykjavik, June 9, 2011.
• PC-member of ISARCS 2011, the 2nd International ACM SigSoft Symposium on Architecting Critical Systems, Boulder, June 20-24, 2011.
• PC-member of TTSS 2011, the 5th international workshop on Harnassing Theories for Tool Support in Software, Oslo, September 13, 2011.
• Program Co-Chair of CompMod 2011, 3rd international workshop on Computational Models for Cell Processes, Aachen, September 10, 2011.
• Invited lecture entitled Encoding of Quantitative Reo Connectors at the 9th workshop on Quantitative Aspects of Programming Languages, Saarbrücken, April 1-3, 2011.
• Program Co-Chair of the Dutch IPA Spring Days on Bioinformatics, Vlijmen, the Neherlands, April 11-15, 2011.
• Co-promotor at the PhD-defense of José Proença, Synchronous Coordination of Distributed Components, Universiteit Leiden, May 11, 2011
• Co-promotor at the PhD-defense of Christian Krause, Reconfigurable Component Connectors, Universiteit Leiden, June 21, 2011
• Co-promotor at the PhD-defense of Young-Joo Moon, Stochastic Models for Quality of Service of Component Connectors, Universiteit Leiden, October 25, 2011
• Examiner PhD-committee Paul van Tilburg, From Computability to Executability: A process theoretic view on automata theory, Technische Universiteit Eindhoven, October 27, 2011
• Examiner PhD-committee Stephanie Kemper, Modelling and Analysis of Real-Time Coordination Patterns, Universiteit Leiden, December 20, 2011
• Guest-lecturer at the Bio-Modelling and Petri Nets seminar, On a visual process calculus for biological systems, LIACS, April 26, 2011
• Member MLQA Steering Committee
• Presentation entitled Towards reduction of Paradigm coordination models at the first PACO workshop on Process Algebra and Coordination, Reykjavik, June 9, 2011
• Presentation entitled Modeling Dynamic System Adaptation with Paradigm at the ISTI seminar of the Istituto di Scienza e Tecnologie dell' Informazione "A. Faedo", Pisa, October 14, 2011
• Presentation entitled Analysis of aa-tRNA competition: an application of Prism in systems biology at the ISTI seminar of the Istituto di Scienza e Tecnologie dell' Informazione "A. Faedo", Pisa, November 25, 2011
• Presentation entitled Paradigm & McPal: changing the rules while playing at the symposium on the occasion of the retirement of Luuk Groenewegen, Leiden, December 16, 2011
• Referee for (books and journals) Theoretical Computer Science (3x), Advances in Systems Biology, Scientific Annals of Computer Science

Professional activities 2010

• Guest-editor Transactions on Computational Systems Biology.
• PC-member of CMSB 2010, the 8th International Conference on Computational Methods in Systems Biology, Trento, September 29-October 1, 2010.
• PC-member of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures, Paris, September 4, 2010.
• PC-member of MeCBIC 2010, the 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Jena, August 23-24, 2010.
• PC-member of ISARCS 2010, the 1st International Symposium on Architecting Critical Systems, Prague, June 23-25, 2010.
• PC-member of AMAST 2010, the 13th International Conference on Algebraic Methodology and Software Technology, Manoir St-Castin, Quebéc, June 23-26, 2010.
• PC-member of ICE 2010, the 3rd Interaction and Concurrency Experience, Amsterdam, June 10, 2010.
• PC-member of CS2Bio'10, the 1st International Workshop on Interaction between Computer Science and Biology, Amsterdam, June 10, 2010.
• PC-member of FBTC 2010, the 3rd International Workshop on From Biology to Concurrency and Back, Paphos, Cyprus, March 27, 2010.
• Presentation entitled Variations with Paradigm: Model Checking Component Collaboration at the SYANCO Winterschool 2010, Berlin, February 8-12, 2010.
• Contribution entitled Concurrent inhibition of TGF and MAP kinase pathways lead to abrogated fibrotic traits of Dupuytren's disease fibroblasts at the 51th Congress of the German Society of Hand Surgery, DGH 2010, Nürnberg, October 7-9, 2010.
• Poster entitled Towards Dynamic Adaptation of Probabilistic Systems at the MLQA 2010 meeting, Edinburgh, July 9, 2010.
• Examiner PhD-committee David Costa, Formal Models for Component Connectors, Vrije Universiteit Amsterdam, December 13, 2010
• Examiner PhD-committee Alexandra Silva, Kleene Coalgebra, Radboud University Nijmegen, December 21, 2010
• Member MLQA Steering Committee
• Member Selection Committee NWO Vrije Competitie 2009-3, Computer Science subcommittee
• Reviewer for ZonMw, the Dutch organization for Health Research and Development
• Referee for (workshops and conferences) COORDINATION 2010, Amsterdam, Concur 2010, Paris, (books and journals) Science of Computer Programming

Professional activities 2009

• Co-coordinator of Formal Methods week, Eindhoven, the Netherlands, November 2-6, 2009
• Workshop chair of FM2009, the 16th international symposium on Formal Methods, Eindhoven, the Netherlands, November 4-6, 2009
• Co-organizer of CompMod 2009, the 2nd International Workshop on Computational Modelling of Cell Processes, Eindhoven, the Netherlands, November 3, 2009
• PC-member of FOCLASA'09, the 8th international workshop on the Foundations of Coordination Languages and Software Architectues, Rhodes, Greece, July 11, 2009
• PC-member of ICE'09, 2nd international workshop on Interaction and Concurrency, Bologna, Italy, August 31, 2009
• Member Selection Committee NWO Vrije Competitie 2009-1, Computer Science subcommittee and multi-disciplinary committee, NWO Vrije Competitie 2009-2, Computer Science subcommittee
• Co-promotor at the PhD-defense of Andries Stam, Interaction Protocols in Paradigm, Universiteit Leiden, December 8, 2009
• Examiner PhD-committee Leo van Iersel, Algorithms, Haplotypes and Phylogenetic Networks, Technische Universiteit Eindhoven, January 29, 2009
• Examiner PhD-committee Helle H. Hansen, Coalgebraic Modelling: Applications in Automata Theory and Modal Logic, Vrije Universiteit Amsterdam, May 14, 2009
• Invited talk entitled Architecting Security with Paradigm at the SaToSS seminar of the University of Luxembourg, April 21, 2009
• Invited talk entitled From Paradigm to mCRL2: Model Checking Component Collaboration at the Dutch Model Checking Day, Twente University, Enschede, April 2, 2009
• Invited talk entitled Stochastic automata for replication, translation and translesion synthesis at the MOAN-CB Modelling and Analysis of Cell Behaviour meeting, a ECCS 2009 satelite, Warwick, September 23, 2009
• Presentation entitled MLQA building blocks from CWI and TU/e at the MLQA kick-off meeting in York, March 28, 2009
• Presentation entitled Verification of Reo circuits using mCRL2 at the CoCoCo meeting in Amsterdam, October 12 & 13, 2009
• Referee for (workshops and conferences) CALCO 2009, Udine, ICALP 2009, Rhodes, CONCUR 2009, Bologna, ESOP 2010, Paphos, (books and journals) Architecting Dependable Systems VI

Professional activities 2008

• Co-promotor at the PhD-defense of Jasen Markovski, Real and Stochastic Time in Process Algebras for Performance Evaluation, Technische Universiteit Eindhoven, October 2, 2005
• PC-member of GlobalComp, Workshop on Global Computing Models and Technologies, SYNASC, Timisoara, 2008
• PC-member of VODCA, 3rd international workshop on Views on Designing Complex Architectures, FOSAD, Bertinoro, 2008
• Referee for (journals) Theoretical Computer Science, (workshops and conferences) Concur 2008, Toronto, AMAST 2008, Urbana-Champaign, FoSSACS 2009, York

Professional activities 2007

• PC-member of the Dutch research program Sentinels, a research program on security in ICT, networks and information systems
• External examiner at the PhD-defense of Isabelle Linden, On the introduction of Time in Coordation Languages: Semantics, Expressiveness and Programming Methodologies, Facultés Universitaires Notre-Dame de la Paix, Namur, June 14th, 2007.
• PC-member of SYANCO 2007, first International Workshop on Synthesis and Analysis of Component Connectors, Dubrovnik 2007
• Referee for (workshops and conferences) Concur 2007 Lisbon,

Professional activities 2006

• Co-promotor at the PhD-defense of Cas Cremers, Scyther: Semantics and Verification of Security Protocols, Technische Universiteit Eindhoven, November 6, 2006
• PC-member of the Dutch research program Sentinels, a research program on security in ICT, networks and information systems
• Invited talk at VODCA 06, Bertinoro
• External expert PhD-committee Ling Cheung, Reconciling Nondeterministic and Probabilistic Choices, Radboud University Nijmegen, September 18th, 2006
• External expert PhD-committee Martijn Warnier, Language Based Security for Java and JML, Radboud University Nijmegen, November 27th, 2006
• Referee for (journals) Theoretical Computer Science, Journal of Logic, Language and Information, Journal of Universal Computer Science (workshops and conferences) Coordination 2006 Bologna, VODCA 2006 Bertinoro, FOSSACS 2007 Braga, FSEN 2007 Tehran

Professional activities 2005

• Co-Organizer of the third workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005 workshop of IJCAI 2005, Edinburgh
• PC-member of the Dutch research program Sentinels, a research program on security in ICT, networks and information systems
• PC-member of the 4th joint conference on Automonous Agents and Multi-Agent Systems, AAMAS 2005, Utrecht
• PC-member of IFIP WG 11.2 Small Systems Security, workshop of SEC 2005, Chiba
• PC-member of Structural Operational Semantics, a satellite workshop of ICALP 2005, Lisbon
• Co-promotor the PhD-defense of Ana Sokolova, Coalgebraic Analysis of Probabilistic Systems, Technische Universiteit Eindhoven, November 3, 2005
• Member Steering Commitee SAFE-NL, the platform for Security: Applications, Formal aspects and Environments, in the NetherLands
• Referee for (journals) Acta Informatica, Siam Journal on Computing, Journal of Universal Computer Science, (conferences and workshops) CBSE 2005 St. Louis, ICALP 2005 Lisboa, Concur 2005 San Francisco, EuroMicro/SPPI 2005 Porto, ARSPA 2005 Lisbon, CICS 2005 Beijing, M4M 2005 Berlin
• Reviewer for STW, the Netherlands

Professional activities 2004

• Co-Organizer of the second workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004 workshop of ESSLLI 2004, Nancy
• PC-member of the Dutch research program Sentinels, a research program on security in ICT, networks and information systems
• PC-member of VODCA, a workshop on Views on Designing Complex Architectures, FOSAD, Bertinoro, 2004
• PC-member of Structural Operational Semantics, a satellite workshop of CONCUR 2004, London
• PC-member of the 3rd joint conference on Automonous Agents and Multi-Agent Systems, AAMAS 2004, Washington
• Member Steering Commitee SAFE-NL, the platform for Security: Applications, Formal aspects and Environments, in the NetherLands
• Referee for (journal) Fundamenta Informaticae
• Reviewer for ESPRC United-Kingdom

Professional activities 2003

• PC-member of the 2nd joint conference on Automonous Agents and Multi-Agent Systems, AAMAS 2003, Melbourne
• PC-member of IFIP WG 11.2 Small Systems Security, workshop of SEC 2003, Athens
• Workshop Chair of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, Eindhoven
• Member Steering Commitee SAFE-NL, the platform for Security: Applications, Formal aspects and Environments, in the NetherLands
• Co-Organizer of the first workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003 pre-conference workshop of ICALP 2003, Eindhoven
• Referee for (journals) Journal of Logic and Algebraic Programming, (conferences and workshops) ICALP 2003, Eindhoven, ACSD 2003, Guimares, (books) Ambient Intelligence: Impact on embedded-system design, T. Basten, M. Geilen, H. de Groot (eds.), Kluwer
• Reviewer for IWT Belgium, ESPRC United-Kingdom