People

Rotem is currently a Postdoctoral Scholar at Toronto University. She received her PhD at MIT, advised by Prof. Nancy Lynch. Before coming to MIT, she completed a B.A. and an M.Sc. at the Technion, Israel Institute of Technology. Her M.Sc. was in formal verification of hardware, under the supervision of Prof. Orna Grumberg.

At MIT Rotem was part of the Theory of Distributed Systems Group. Her research concerned mobile ad-hoc networks; she studied the computational power of such networks, as well as the complexity of performing classical distributed tasks such as reaching consensus, electing a leader, and computing functions of inputs to the nodes. Rotem was especially interested in analyzing the amount of information that must be exchanged to solve various problems, using techniques from the world of communication complexity. Her work has been published in various theory conferences, including PODC and STOC.