Bachelor Data Science and Artificial Intelligence



The following thesis was written by a student in the 2024-2025 class of the Bachelor Data Science and Artificial Intelligence programme at Leiden University.


Thesis details

TitlePractical Equivalence Checking of P4 Packet Parsers
StudentLeenen, J.P. (Jort)
ProgrammeBachelor Data Science and Artificial Intelligence
Year2024-2025
SupervisorsDr. T.W.J. Kappé (first supervisor)
Dr. J.J.M. Martens (second supervisor)
Thesis Open Thesis PDF

Citation details

Leenen, J.P. (Jort), Practical Equivalence Checking of P4 Packet Parsers, Thesis Bachelor Data Science and Artificial Intelligence, LIACS, Leiden University, 2025.