Member for 8 years, 8 months
Last seen more than a month ago
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.