I am a PhD student in the Integrated Systems Laboratory (LSI) at EPFL, Lausanne. I received my Bachelor degree in Computer Science from the University of Amsterdam, and my MPhil in Computer Science from the University of Cambridge. My research interests include Boolean satisfiability, exploring novel logic primitives, SAT based synthesis methods, machine learning in general, and applying machine learning to EDA. I maintain percy, which is a C++ header-only SAT-based exact synthesis library. It is also one of the EPFL logic synthesis libraries.