Sebastiaan is a PhD student in the Theory group at LIACS since September 2020. His current research focuses on applying techniques from formal methods to probabilistic and quantum systems. He received a BSc degree in Computer Science and Engineering from the TU Delft, and an MSc degree in Computer Science from Leiden University. One of his pet peeves is writing bio's in third person.