Blogs (61) >>
Frank S. de Boer

Registered user since Tue 15 Mar 2016

Name: Frank S. de Boer

Affiliation: Centrum Wiskunde & Informatica, Leiden University

Personal website:

Research interests: Semantics and proof theory programming languages


VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
Analysis of SLA Compliance in the Cloud
Session Chair of Session 2 (part of VORTEX)
Run-time checking of data- and protocol-oriented properties of Java programs
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile