I am a cryptographer with a passion for formal verification of large-scale cryptographic analysis of real-world protocols. I have recently graduated with a master’s degrees in Security and Cloud Computing from Aalto University in Finland and Technical University of Denmark. During my master’s thesis, I worked on formal verification of key schedule security analysis of TLS 1.3. Currently, I am teaching a graduate course on computer-aided cryptography with Domino.