My work focuses on concurrent computing, programming languages, and systems (mostly on memory management). I am also interested in all aspects of parallelism, cryptography, data structures, approximation algorithms, and distributed computing.