Formal name: Prof.dr. F.S. de Boer
Function: Group leader, Scientific Staff Member, Theme coordinator
Email: F.S.de.Boer@cwi.nl
Telephone +31(0)20 592 4139
Room: L212
Research groups:
(SEN3) Foundations of software engineering
Research
My research on the development and application of formal methods covers and integrates a broad range of programming/modelling languages: object-oriented languages, coordination languages, constraint languages, agent-oriented languages, software product lines and enterprise architectures. I have directed and coordinated research on object-oriented languages and coordination languages and their integration in the international context of various EU projects. Further I have initiated and structured research on formal methods for software product lines in a IP FP7 EU project. My work on design and implementation of agent-oriented languages as described in "Agent Programming in 3APL" by K. Hindriks, F.S. de Boer, W. van der Hoek, J.J.C. Meyer in Autonomous Agents and Multi-Agent Systems has become a standard reference for agent programming languages in the agent community. Its follow-up 2APL is available via SourceForge. This line of work has resulted in 6 PhD theses under my supervision and involves close collaboration on the national level with Utrecht University and the Technical University of Delft. My investigation into the logical foundations of enterpise architectures formed the very basis of the book "Enterprise Architecture at Work: Modelling, Communication and Analysis" by M. Lankhorst et al., Springer 2009. The Archimate modeling language itself has become a standard in enterprise architectures.
Career
| 2008 - | Group leader SEN3 - Foundations of Software Engineering |
| 2008 - | Full professor LIACS, Leiden University |
| 2003 - 2007 | Associate professor LIACS, Leiden University |
| 2001 - 2008 | Scientific staff member SEN3 - Foundations of Software Engineering |
| 1985 - 1989 | PhD student AP1 - Computational models |
Selected Awards and Honours
| 2008 | Forum-Architectuurprijs 2008 |
| 2008 | Bronzen Achievement Award |
| 2008 | Best paper |
Selected Publications
| I. Grabe, F.S. de Boer. Automated deadlock detection in synchronized reentrant multithreaded call-graphs. Proceedings of 36th Conference on Current Trends in Theory and Practice of Computer Science 2010 (36), Lecture Notes in Computer Science 5901, Špindleruv Mlýn, 200–211, 2010. |
| F.S. de Boer, Mahdi, E.B. Johnsen. Dating concurrent objects: Real-time modeling and schedulability analysis. Proceedings of International Conference on Concurrency Theory 2010, Lecture Notes in Computer Science 6269, Paris, France, 1–18, 2010. |
| K.R. Apt, E.R. Olderog, F.S. de Boer. Verification of Sequential and Concurrent Programs. , 1–502 Springer., 2009. |
| C. Pierik, F.S. de Boer. A proof outline logic for object-oriented programming. Theoretical Computer Science 343, 413–442, 2005. |
| E. Abraham, F.S. de Boer, W.P. de Roever, M. Steffen. An assertion-based proof system for multithreaded Java. Theoretical Computer Science 331, 251–290, 2005. |
