Former math student from Bonn (PhD Thesis) and still mathematician at heart.
Now doing a mix of formal methods, security and (post-quantum) cryptography engineering --- currently at AWS.
The opinions expressed are my own views and not my employer's.