Lucca Hirschi est Chargé de Recherche en cybersécurité à Inria, membre de l'équipe PESTO à Nancy. Après un doctorat à l'École Normale Supérieure de Paris-Saclay soutenu en 2017, il a été chercheur post-docotoral à l'ETH Zürich (Suisse) pendant 2 ans avant de rejoindre Inria. Il est spécialiste des méthodes formelles et leur application à sécurité des protocoles cryptographiques (TLS, protocoles de vote électronique, etc.).