Registered user since Wed 15 Feb 2017

Name: Lars Birkedal

Country: Denmark

Affiliation: Aarhus University, Denmark

Personal website: http://cs.au.dk/~birke/

Research interests: Semantics of programming languages, type theories, models for global computing, and programming logics for reasoning about concurrent, higher-order, imperative programs.

ICFP 2016 Activities

• Committee Member in External Review Committee for ICFP 2016 Research Papers
• Co-chair in Program Committee for HOPE 2016
• Author of Higher-Order Ghost State within the Research Papers-track in ICFP 2016
• Author of A Logical Account of a Type-and-Effect System within the HOPE-track in HOPE 2016
• Author of Opening remarks within the HOPE-track in HOPE 2016
• Show activities from other conferences