Luiz Gustavo De Sa Doctoral Research Assistant Email ldesa@andrew.cmu.edu Department Computer Science Department Thesis Advisor Frank Pfenning
