SUMMARY
PhD candidate in Computer Science specializing in high assurance cryptography and formal verification. Experienced software developer with strong skills in modern programming languages including C, Rust, and Python. Passionate about building high-assurance systems with a track record of practical implementations and contributions to open-source projects. Seeking industry roles in software development, verification, research, and other technical challenging topics.
EXPERIENCE
PhD. Student at Aarhus University
I have been part of making frameworks to develop high assurance cryptographic protocols and primitives. These were used to implement and prove security and correctness of
Advanced Encryption Standard (AES),
Transport Layer Security (TLS), and
Open Vote Network (OVN) – an e-voting smart contract.
Research Assistant at Aarhus University
I helped formalize smart contracts by building a specification language (Hacspec) for Cryptographic protocols, which can be translated to Rocq, F* and EasyCrypt.
Junior software developer at Danske Commodities
I helped design and program a framework for Python scrapers, and had a lot of responsibility in developing and fixing important systems.