Nathalie Bertrand is a researcher at Inria Rennes. Before joining Inria in 2007, Nathalie was a postdoc at TU Dresden. She received her PhD from ENS Cachan in 2006. Her research focus is on theoretical computer science, more particularly on the design of formal verification techniques (such as model checking and controller synthesis) for probabilistic systems.