Frank S. de Boer - ECOOP 2018

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

co-located with ECOOP and ISSTA

Registered user since Tue 15 Mar 2016

Name: Frank S. de Boer

Affiliation: Centrum Wiskunde & Informatica, Leiden University

Personal website: http://www.cwi.nl/~frb

Research interests: Semantics and proof theory programming languages

Contributions

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

ECOOP and ISSTA-profile
View general profile