Chao Wang
e-mail: wangch@irif.fr, wangch@ios.ac.cn
Phone: 06 80 78 05 48
qq: 459368504
Address: IRIF office 4032, Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris
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