Award Recipient Kenneth McMillan University of Texas at Austin Social website 2024 Amazon Research Award Synthesis of Auxiliary Variables and Invariants for Distributed Protocol Verification Research topic Automated reasoning
