Hello! I'm Bruno Jardim, an M.Sc student. I specialize in Formal Methods, and Cryptography. I'm interested in safe, correct and elegant solutions to problems. I'm currently working on QML (Quantum Machine Learning) and ZX-Calculus for my thesis.

I also have experience in Full-Stack Development, more specifically with Next.js and React.

Work Experience