Universiteit Leiden

nl en

Frank de Boer

Professor of Software Correctness

Name
Prof.dr. F.S. de Boer
Telephone
+31 71 527 4799
E-mail
f.s.de.boer@liacs.leidenuniv.nl

Frank de Boer is Professor of Software Correctness at the Leiden Institute of Advanced Computer Science (LIACS). He is also a senior researcher at the Center for Mathematics and Computer Science (CWI). 

More information about Frank de Boer

Frank de Boer studied philosophy in Groningen. In his studies he already emphasized mathematical logic and computer science. After graduating, de Boer started working as a researcher and PhD student at the Centre for Mathematics and Informatics (CWI), as part of the European Union's information technology program ESPRIT. De Boer received his PhD in computer science in 1991 with the thesis 'Reasoning about dynamically evolving process structures - A proof theory of the parallel object-oriented language (POOL)'.

After his PhD, de Boer worked as a researcher and lecturer at Eindhoven University of Technology, the Free University and Utrecht University. Since 2002 he is a senior researcher at CWI and since 2003 Professor of Software Correctness at the Leiden Institute of Advanced Computer Science (LIACS).

Professor of Software Correctness

  • Science
  • Leiden Inst. Advanced Computer Sciences

Work address

Snellius
Niels Bohrweg 1
2333 CA Leiden

Contact

Publications

No relevant ancillary activities

This website uses cookies.  More information.