Registered user since Wed 18 Jun 2014

Name: Peter Müller

Affiliation: ETH Zurich

Personal website: http://www.pm.inf.ethz.ch/people/pmueller/personal

ECOOP 2015 Activities

• Author of Modular Verification of Finite Blocking in Non-terminating Programs within the Research Track-track in ECOOP 2015
• Committee Member in Steering Committee for FTfJP 2015
• Session Chair of Type Systems (part of ECOOP 2015 Research Track)
• Committee Member in Programme Committee for ECOOP 2015 Research Track
• Show activities from other conferences