PhD candidate at VUB and UGent.
Conducting research in semantics and type theory for concurrent and distributed programming languages.
MSc in Computer Science at VUB.
Excited about Unix, language design and good music.
2015 - Present
University of Brussels - University of Ghent
PhD Computer Science
I am conducting research in the field of type systems. Currently I am focusing on improving the applicability
of session types. A type system for distributed and/or concurrent applications that allow enforcing of protocols.
2012 - 2015
University of Brussels
MSc in Computer Science (magna cum laude)
»Combining the Actor model with Software Transactional Memory«
extensively studied the viability of integrating the actor model with software transactional memory and vice versa. Created proof of concept implementation in Clojure. Created operational semantics.
2009 - 2012
BSc in Computer Science (programming major)
Teaching assistant "programmeerproject 1".
Guiding students and creating assignments.
Custom software solutions
Built real estate website using the Umbraco CMS (.Net) from scratch
Connected website to legacy back-end
Assembling, repairing computers.
Practical Session Types
On the requirements for the implementation of practical session types
in contemporary languages.
FP (Haskell, Clojure, Racket, Elixir, …) Language implementation
Jazz, Hip-Hop, Rock
for personal projects.