I am a recent graduate of the EDIC doctoral school at EPFL in Lausanne, Switzerland. I was a member of the Integrated Systems Laboratory (LSI), under supervision of prof. Giovanni De Micheli. Before that, 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.