$ whoami
Hey there, I’m Curtis Chin Jen Sem. I graduated with
a Master’s degree in Computing Science from Utrecht
University. In my final
thesis, I gave a
formalized proof of correctness of a forward-mode automatic differentiation
transformation for lambda calculi. My interests include programming language
theory and functional programming.
My humor usually includes a lot of hyperboles with a boatload of
self-deprecation, but if it appears in my writing though, is a different matter.