Erik Voogd


Here is a nonproper subset of all the papers that I published: My thesis for the bachelor Mathematics is here.

For my Master's thesis, I am currently studying distributive law morphisms applied to nominal transition systems, which are used to model message-passing programs. Message passing programs can ensure safety for communication protocols, and they are used to model important software, such as bank transaction systems.