Award Received: IEEE Fellow Date Awarded: 2024 Ufuk Topcu University of Texas, Austin United States Email Website Citation: For contributions to the design and verification of autonomous systems.