Call for students

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.

Student writing