Federico Mora est professeur adjoint à l’Université de Waterloo. Federico a obtenu son doctorat de l’Université de Californie à Berkeley en 2025, puis a passé un an à travailler chez Amazon Web Services en tant que scientifique appliqué. Sa mission principale de recherche est de rendre la vérification formelle des systèmes réels pratique à l’échelle industrielle. Dans la poursuite de cet objectif, Federico construit des outils neuro-symboliques spécifiques à chaque domaine qui combinent la flexibilité et la puissance de l’IA avec les garanties rigoureuses des méthodes formelles.