Sebastiaan is sinds september 2020 promovendus in de Theoriegroep bij LIACS. Zijn huidige onderzoek richt zich op het toepassen van technieken uit formele methoden op probabilistische en quantumsystemen. Hij behaalde een BSc graad in Computer Science and Engineering aan de TU Delft, en een MSc graad in Computer Science aan de Universiteit Leiden. Een van zijn ergernissen is het schrijven van bio's in de derde persoon.

Publicaties