Marc Farreras is a Ph.D. candidate at Leiden University, working in collaboration with QuSoft under the supervision of Alfons Laarman and John van de Wetering.

More information about Marc Farreras I Bartra

His research focuses on developing formal methods for quantum computing compilation and verification, utilizing advanced classical techniques such as decision diagrams, tensor networks, and ZX calculus.

Marc holds a Bachelor's degree in Physics and a Master's in Quantum Science and Technologies, both from the University of Barcelona. His previous research centered on applying classical and quantum algorithms to simulate physical systems, with his Master’s thesis specifically exploring the use of tensor networks to model the dynamics of such systems.

He is passionate about expanding his knowledge, connecting with others, and fostering friendships, always eager to explore new ideas and perspectives.