Nom Wang Prénom Chao Téléphone 01 57 27 94 07 Bureau 4032 Mail Chao.Wang@irif.fr Page web https://www.irif.fr/~wangch/ I am a post-doc at the Modélisation et Verification team, IRIF, Université Paris-Diderot. Currently I work with professor Constantin Enea on the verification of concurrent data structures and distributed systems (CRDT). I obtained my Ph.D degree in ISCAS (Institute of Software, Chinese Academy of Sciences) under the advising of professor Huimin Lin. My research interest contains correctness of concurrent data structures (linearizability and its variants on weak memory models), distributed data types (eventual consistency, CRDT), and weak memory models. Personal page: https://sites.google.com/view/achaohere