The Programming Methodology Group (PMG) at Chalmers was formed ca 1980, as a group of people interested in semantically simple, clean and powerful languages. From this common philosophy three major strands of research developed: programming logics and the Martin-Löf theory of types; functional programming languages , their use and implementation; process calculi such as CCS. Although the research has diversified, we still share the common goal of developing tools and methodologies for deriving correct as well as efficient programs.
Central to the current work within the programming logic group is the idea of a logical framework for programming ; i.e. a unified theory of formal systems in which many different logics can be conveniently expressed. In particular, much of our work is based on Martin-Löf's theory of types, which provides such a framework.