Her research interests include formal methods, network modeling and analysis, and non-functional properties. She is a supervisor in TUCS Graduate School, one of the leaders of the Distributed Systems Laboratory and the leader of the Formal Methods and Networks research group.