Award Recipient Frans Kaashoek Massachusetts Institute of Technology Social website 2023 Amazon Research Award Flotilla: Compositional Formal Verification of Liveness of Distributed Systems Implementations Research topic Automated reasoning
