I am a Ph.D. student at the Department of Engineering, Aarhus University.
My supervisors are Diego Aranha (Department of Engineering, Aarhus University)
and Bas Spitters (Department of Computer Science, Aarhus University).

My research involves formal verification of cryptographic software with a focus on elliptic curve cryptography.

## Education

- 2017 - 2019
- M.Sc. in Mathematics (Aarhus University)
- 2014 - 2017
- B.Sc. in Mathematics (Aarhus University)

## Teaching

- 2019
- T.A. in Linear algebra
- 2018
- T.A. in Mathematical Analysis, Perspectives in Mathematics (introductory course)
- 2017
- T.A. in Linear algebra, Algebra
- 2016
- T.A. in Calculus

## Research interests

- Verification
- Cryptography
- Proof assistants