Frank de Boer appointed professor of Software Correctness

On 15 February 2008 CWI researcher Frank de Boer has been appointed professor of Software Correctness at Leiden University. At the Leiden Institute of Advanced Computer Science (LIACS) he is part of the research cluster Foundation of Software Technology. De Boer's research concentrates on the integration of testing and verification techniques for the validation of component-based and object-oriented software. He will also be active in the organization of the BSc in Computer Science at Leiden University.

Publication date: 29-02-2008

On 15 February 2008 CWI researcher Frank de Boer has been appointed professor of Software Correctness at Leiden University. At the Leiden Institute of Advanced Computer Science (LIACS) he is part of the research cluster Foundation of Software Technology. De Boer's research concentrates on the integration of testing and verification techniques for the validation of component-based and object-oriented software. He will also be active in the organization of the BSc in Computer Science at Leiden University. CWI and LIACS already have well-established relations, but with this appointment both institutes hope to further strengthen their associations.

At CWI Frank de Boer will stay scientific staff member of the research group Software Engineering. On Thursday 6 March 2008 his appointment will be made official by the Dean of the Faculty of Mathematics and Natural Sciences Prof.dr. Sjoerd Verduyn Lunel.

More information in Dutch can be found in the newsletter of Leiden University. Or visit the homepage of Frank de Boer at http://homepages.cwi.nl/~frb/.