Biographie de Mathieu Jaume
Mathieu Jaume est maître de conférences à l'université Pierre et Marie Curie, Sorbonne Universités, et membre du LIP6 (Laboratoire d'Informatique de Paris 6). Il enseigne principalement dans le domaine de la programmation, de la logique et des mathématiques discrètes. Ses activités de recherche portent sur l'utilisation de méthodes formelles dans le domaine de la sécurité.