Stefan Mitsch Adjunct Faculty Website Email smitsch@cs.cmu.edu Department Computer Science Department