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.