Interested in graduate studies or a supervised undergraduate research project? Candidates with strong theoretical or systems skills are encouraged to apply. Specific skills relevant to my research include the following:
- data structures and algorithms, with a focus on concurrency and parallelism
- distributed software systems (databases, NoSQL storage, coordination services, blockchains)
- techniques for specifying and proving the correctness of algorithms and distributed protocols
Future graduate students: Please apply directly to the Department of Electrical and Computer Engineering. Remember to include my name in your list of preferred supervisors.
Future URAs: Please send me an email, and attach a copy of your unofficial transcript.
