ResearchGroup Theory and Practice of Programming Languages (TPPL) Group Website Director Jana Dunfield Members Dimitrios Economou PHD December Stuart MSC