Sophia Roshal Doctoral Research Assistant Email sophiaroshal@cmu.edu Department Computer Science Department Thesis Advisor Frank Pfenning
