I have a Master's degree in Software Technology from Utrecht University.

My thesis is titled "Strictness Optimization in a Typed Intermediate Language" [1].


[1]: http://tom.lokhorst.eu/media/thesis-strictness-optimization.pdf