HDR Jury

• Nguyen, N. Sûreté et sécurité des systèmes embarqués : de la modélisation à la vérification et la validation. CY Univ., Sep.2020 (rapporteur)
• Hermant, O. Complétudes en logique. U. Paris 7, May.2017