Chase Norman Doctoral Research Assistant Email chasen@cmu.edu Department Computer Science Department Thesis Advisor Jeremy Avigad
