Ankush Das Doctoral Research Assistant, Computer Science Department Office: 9225 Gates and Hillman Centers Email: ankushd@andrew.cmu.edu Research Areas: Concurrency Formal methods General programming languages Program analysis Type theory