Frank de Boer

Volledige naam
Prof.dr. F.S. de Boer
E-mail
Telefoon
+31 20 592 4139
Kamer
L335
Afdeling(en)
Functie(s)
Researcher
Frank de Boer

Publications

All publications

Awards

  • Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) (2017)
  • Bronzen Achievement Award - Trust4All (2008)
  • Forum-Architectuurprijs - Archimate (2008)
  • Best paper - 11th Pacific Rim international conference on multi_agents (PRIMA) (2008)

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