Award Received: IEEE Fellow Date Awarded: 2024 Antoine Girard Université Paris-Saclay France Email Citation: For contributions to formal verification and synthesis of cyber-physical systems.
