About me:

I am a post-doc at the "Modeling and verification" team, IRIF lab, University Paris Diderot. I work with professor Constantin Enea.

My research interest:

- The specification, correctness and verifiction of distributed data types,

- Linearizability, the standard correctness condition of concurrent data structures,

- Linearizability on weak memory model,

- Relaxed linearizability

publication