Ryan Andrew Kavanagh Doctoral Research Assistant, Computer Science Department Office: 6207 Gates and Hillman Centers Email: rkavanag@andrew.cmu.edu Research Areas: Categorical semantics Logic Program semantics