Presenter

I am a final year PhD Student in CSD at CMU advised by Prof. Srinivasan Seshan. I am broadly interested in systems and networking. My latest research explores the use of automated reasoning tools (formal methods) to reason about the performance properties of computer systems, both (1) to design robust control algorithms, and (2) to prove fundamental tradeoffs between objective metrics. In the past, I have explored various topics in systems/networking including programmable networks, performance modeling, measurement, and resource management.