Federico Mora est chargé de cours à l'Université de Waterloo. Il a obtenu son doctorat à l'Université de Californie à Berkeley en 2025 et a ensuite travaillé un an chez Amazon Web Services en tant que chercheur en sciences appliquées. Ses recherches portent principalement sur la mise en œuvre concrète et à grande échelle de la vérification formelle des systèmes du monde réel. Pour ce faire, il conçoit des outils neuro-symboliques spécifiques à un domaine, alliant la flexibilité et la puissance de l'intelligence artificielle aux garanties rigoureuses des méthodes formelles.