The Presburger Award 2011 will go to Patricia Bouyer-Decitre. See here for the details.
Patricia has contributed important results to the theory and applications of timed automata, a fundamental model of real-time systems. In 2007 she received CNRS Bronze medal, awarded for outstanding achievements by a junior researcher.
I am very happy that this award went to Patricia. I had the pleasure of doing some work together with her at the very beginning of her career, and she has gone from strength to strength.
Congratulations to Patricia!