My main interests are techniques for designing, implementing, and reasoning about multiprocessors, in particular concurrent data structures for multicore machines, and the mathematical foundations of the shared memory computation model that governs their behavior.

I am a past program chair of the ACM PODC and ACM SPAA conferences, and am an active member of the DISC and OPODIS communities.