Frank de Boer

Full Name
Prof.dr. F.S. de Boer
Professor - Universiteit Leiden, Scientific Staff Member
+31 20 592 4139
Computer Security


Current projects with external funding

  • Evolutionary changes in Distributed Analysis (ECiDA)

Professional activities

  • Professor: Universiteit Leiden ヨ (UL)
  • Committee member: International Symposium on Formal Methods for Components and Objects - [FMCO]
  • Committee member: International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
  • Organizer: of the FP 7 EU project Upscale
  • Committee member: International Federation for Information Processing - [IFIP] - IFIP 2.2 Formal Descriptions of Programming Concepts
  • Committee member: IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems - [FMOODS]
  • Committee member: International Workshop on Formal Aspects of Component Software - [FACS]
  • Committee member: World Congress on Formal Methods - [FM]
  • Committee member: Dutch national symposium on software engineering (SEN)
  • Editor: speciality Formal Methods of the open access journal Frontiers
  • Editor: journal ACM Transactions Computational Logic
  • Editor: open access journal Scientific Programming


  • Bronzen Achievement Award - Trust4All (2008)
  • Forum-Architectuurprijs - Archimate (2008)
  • Best paper - 11th Pacific Rim international conference on multi_agents (PRIMA) (2008)