I am a researcher on the Parkas Project at INRIA, Paris-Rocquencourt, France.

Research Interests: weak-memory concurrency, tool support for semantics.