Below are some of my contributions, erm, humble steps in the world of mathematics, with some computer science interests as well.
In het tweede jaar van de wiskundestudie houd je een voordracht van een half uur over een zelf bestudeerd wiskundig onderwerp. Deze voordracht wordt achteraf afgerond door het schrijven van een artikel over het onderwerp.
Vanzelfsprekend sprak de Onvolledigheidsstelling van Gödel mij aan - het meta-wiskundige karakter en de fundamentele diepte zijn immers evident. Mijn presentatie verliep prima, maar het artikel werd iets minder ontvangen. Blijkbaar was het te 'leesbaar' voor een echt wiskundig artikel, en bevatte het ook te veel subjectieve elementen.
In my fourth year, I participated in the Computer Science course Modelling and Analysis of Security Protocols (MASP). Aside from a number of exercise sets, our grade was based on a presentation held before the other attending students.
My presentation was based on an article by Lawrence C. Paulson and Giampaolo Bella, then both of the University of Cambridge. As further background reading, I recommend another article by Paulson.
Voor een wiskundestudent in Leiden Bachelor of Science kan worden, doet hij of zij een bacheloronderzoek. Aan dit onderzoek zijn ook deelname aan het bachelorseminarium en het houden van enkele presentaties in dit seminarium gerelateerd.
Mijn bacheloronderzoek gaat over de algemene compositiestelling voor protocollen. Heel in het kort zegt deze stelling dat onder bepaalde voorwaarden een (netwerk)protocol in stukjes opgehakt kan worden: Een complex protocol kan eenvoudiger protocollen als modules bevatten. De eigenschappen die over de bouwblokjes afgeleid worden, blijven geldig in het raamwerk van het grotere protocol. Mijn begeleider is Dennis Hofheinz, verbonden aan het Centrum voor Wiskunde en Informatica in Amsterdam.
De verschillende documenten die mijn onderzoek oplevert, zijn hier te vinden.