Author Archives: mathysrennela

About Me

I am a postdoctoral researcher in quantum computing, working with dr.~Vedran Dunjko at Leiden University. My current focus is on near-term quantum algorithms for Artificial Intelligence and Machine Learning, and the semantics and verification of quantum programming. I completed a doctoral research program on quantum foundations and quantum programming languages under the joint supervision of Professor Sam Staton (Oxford University) and Professor Bart Jacobs (Radboud University Nijmegen). I have a broad interest in the foundations of quantum computing, and the design, verification, optimization and implementation of quantum software.