Since October 2002, I am doing a PhD at Irisa under the supervision of Isabelle Puaut.
My main focus is the conception of software memory management techniques for hard
real-time systems comprising hardware components typically found in general-purpose
computers such as cache memories, scratch-pad memories or memory management units.