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
As a logician I have worked on the development and formal justification
of programming logics.
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.
In general I have worked on formal methods for
(concurrent) programming languages:
I am a coauthor of the books
Projects
Currently I am involved in the
project which is an Integrated Project supported by the 7th Framework Programme of the EC within the FET (Future and Emerging Technologies) scheme.
The HATS project develops a formal method for the design, analysis, and implementation of software product families.
And here you may find out more about me:
Professional History
My publications can be found at
DBLP Bibliography Server
and
my Google Scholar profile.
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).
Supervision of PhD students
Courses
Currently, I am giving (at LIACS) a course on
Programmeren & Correctheid.
CWI DISCLAIMER