I mainly focus on building reliable concurrent software and systems, including
static/dynamic analysis and tool support. More specifically, I am actively
involved in the verification and testing of concurrent data structures under
relaxed memory models.