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