Andre Platzer Professor Department Computer Science Department: Affiliated Research Interests Programming Languages
