I’m a PhD student at HASLab, currently learning about RDMA. I'm also interested in Consensus, CRDTs and Software Verification.

For further information please see my personal webpage.