Benjamin Salling Hvass

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

Contact

Email: bsh@eng.au.dk

Office: Nygaard 267 (building 5335)