J'ai un doctorat en science pour ingénieur spécialisé en science de données et intelligence artificielle. Ma recherche dans ce projet est relatif à la mise en œuvre de modèles automatiques de vérification de protocole réseau en utilisant les outils de satisfiabilité comme SMT et SAT. Ces modèles permettent de détecter des erreurs d'implémentation de protocoles par rapport à leurs documents officiels de spécifications et de trouver des bogues ou des failles de sécurité.