Ellis Michael

Ellis Michael


I currently work at Google.

In 2022, I finished my Ph.D. in Computer Science & Engineering at the University of Washington, where I worked in the Systems Lab and was advised by Dan Ports and Tom Anderson.

I am broadly interested in the theory and practice of fault-tolerant distributed systems. My work has touched on the intersection of distributed systems and — among other things — programmable networking hardware, erasure codes, in-memory replication, and model checking.


  • 22 Mar 2019

    I'm excited to announce that I've been named as a 2019 IBM PhD Fellow.

  • 21 Dec 2018

    The DSLabs paper on teaching distributed systems with efficient model checking will appear at EuroSys 2019 in Dresden, Germany.

  • 02 Jun 2018

    DSLabs, the framework and lab assignments I built for UW's distributed systems class, is now available on GitHub.

  • 27 Apr 2018

    I recently attended PaPoC '18 and presented our short paper on providing efficient causal message delivery in datacenters using programmable network hardware.

  • 07 Mar 2018

    The source code for Eris, our network-integrated distributed transaction processing protocol, is now available.

View all news