Theoretical Computer Science
Hanno's user avatar
Hanno's user avatar
Hanno's user avatar
Hanno
  • Member for 9 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
151
reputation
1k
reached
0
answers
1
question
Communities
View all
About

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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
15
Fixed points in computability and logic
Nov 4, 2014
Top network posts
View all network posts
61
What does it take to divide by $2$?
42
Simple examples for the use of spectral sequences
40
Approaching Type theory and Category Theory as a starting point in the study of mathematics?
34
Cohomology of Flag Varieties
26
Intuitive explanation for the use of matrix factorizations in knot theory

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.