C. B. Aberle Doctoral Research Assistant Email caberle@andrew.cmu.edu Department Computer Science Department Thesis Advisor Frank Pfenning
