Frank de Boer

Frank de Boer is a researcher at Centrum Wiskunde & Informatica (CWI), Amsterdam, focusing on formal methods, concurrency theory, and software verification. His work bridges theoretical foundations with practical applications in object-oriented programming and parallel systems.

• Key research areas:
  • Separation logic for heap reasoning
  • Behavioral subtyping and history-based verification
  • Active objects and actor models
  • Concurrency and deadlock analysis
• Selected scientific recognition:
  • Best Paper (ESSOC 2017)
  • Bronzen Achievement Award (Trust4All 2008)
  • Forum-Architectuurprijs (Archimate 2008)

Recent publications (2025–2021) emphasize footprint logic, history-based reasoning, and formal verification of concurrent systems. Collaborations span institutions in The Netherlands, Germany, and China, with applications to Java collections, multicore memory systems, and transition system models.