I have a PhD in science for engineers, specialized in data science and artificial intelligence. My research in this project is related to the implementation of automatic network protocol verification models using satisfiability tools such as SMT/SAT solvers. These models can be used to detect protocol implementation errors in relation to their official specification documents, and to find bugs or security vulnerabilities.