Welcome to the home page of Frank S. de Boer
Contact information
Centrum voor Wiskunde en Informatica (CWI)
Department
of Software Engineering
Kruislaan 413
P.O. Box 94079
1090 GB Amsterdam
The Netherlands
Phone (direct):
020 592 4139 (international: +31 20 592 4139)
Phone (secretary Susanne van Dam):
020 592 4189 (international: +31 20 592 4189)
Fax: 020 592 4199
(international: +31 20 592 4199)
Email: F.S.de.Boer at cwi.nl
Research profile
Programming logics
As a logician I have worked on the development and formal justification
of programming logics.
Programming logics
define deductive proof methods for
the verification of formal specifications of the required program behavior.
The formal justification involves mathematical proofs of soundness
and completeneness, which are based on a formal semantics of the programming
and the specification language under consideration.
Object-orientation
In my thesis (1991)
reasoning about dynamically evolving process structures
(A proof theory of the parallel object-oriented language POOL)
I developed a first sound and complete
proof method for a (parallel) object-oriented language,
designed and implemented
at Philips Research Laboratories.
Further development has resulted in
a comprehensive proof-theory of a variety of
object-oriented features and mechanisms like object creation, aliasing,
method calls,
multi-threading,
inheritance and subtyping.
Concurrency
In general I have worked on the semantics and proof theory of
concurrent programming languages
(I am a coauthor of the book
Concurrency Verification).
Recent papers
focus on (fully abstract) semantics of dynamic reconfiguration
in
object-oriented and component-based systems.
My study of different concurrency models
includes
constraint languages.
For my
research on
programming languages for multi-agent systems I refer to my
publications
stored by the
Intelligent Systems
group at the department
of Information and Computing Sciences of Utrecht University.
Integrated formal methods
The CWI and the
Leiden Institute of Advanced Computer Science
provide the main context for
my current research and future plans which concentrate on
the integration of testing and verification techniques
for the validation of component-based and object-oriented software.
The integration of formal methods
is one of the main objectives of the
Credo project
on modeling and analysis of evolutionary structures for
distributed services.
This project, which I coordinate, is
funded by the
6th Framework Programme
of the European Information Society Technologies.
Here you may find out more about me:
Professional History
Research (see also my list of publications
from the
DBLP Bibliography Server)
Courses
Currently, I am giving (at LIACS) a course on
Logic:
uitslag van het tentamen van 09-06-2009 en
uitslag van het hertentamen van 05-08-2009.
Past events:
Formal Methods 2006
Formal Aspects of Component Software (FACS'06)
5th International Symposium on
Formal Methods for Components and Objects
(FMCO 2006)
Upcoming events:
Distributed Computing Techniques (DisCoTec 2010)
CWI DISCLAIMER