Haojun Ma: Automating the Verification of Distributed Systems. University of Michigan, USA 2022