I am a cryptography engineer. I recently relocated from Zürich to Auckland to pursue a PhD in mathematics at the University of Auckland. My research focuses on mathematical problems underlying cryptographic constructions based on elliptic curves, particularly in the context of post-quantum cryptography (i.e., isogenies). My goal is to enhance the efficiency of these constructions and to establish the groundwork for formally verified implementations. Prior to my move to Auckland, I worked on TLS termination, key management, and access control systems for financial services in Switzerland.