Skip to main content
Mathematics
Hanno's user avatar
Hanno's user avatar
Hanno's user avatar
Hanno
  • Member for 11 years, 6 months
  • Last seen this week
Profile Activity
Stats
19,870
reputation
250k
reached
376
answers
22
questions
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
View all badges
2
gold badges
35
silver badges
64
bronze badges
Top tags
View all tags
370
Score
84
Posts
21
Posts %
295
Score
95
Posts
24
Posts %
199
Score
64
Posts
16
Posts %
182
Score
43
Posts
11
Posts %
174
Score
47
Posts
12
Posts %
153
Score
48
Posts
12
Posts %
Top posts
View all questions and answers
question
61
What does it take to divide by $2$?
Nov 16, 2014
answer
40
Approaching Type theory and Category Theory as a starting point in the study of mathematics?
Apr 1, 2023
answer
27
In category theory: What is a fibration and why should I care about them?
Jun 5, 2016
answer
19
Is every submodule of a projective module projective?
Nov 2, 2014
answer
18
Is $\mathbb Z[[X]]\otimes \mathbb Q$ isomorphic to $\mathbb Q[[X]]$?
Feb 4, 2015
question
17
Developing category theory inside ETCS
Jun 29, 2013
answer
17
Does the category of locally ringed spaces have products?
Nov 23, 2014
answer
16
Intuitionistic logic plus $A → B \lor C \vdash ( A → B ) \lor ( A → C )$
May 29, 2016
question
15
Fixed points in computability and logic
Nov 2, 2014
answer
14
Ring of polynomials as a module over symmetric polynomials
Nov 3, 2014
Top network posts
View all network posts
44
Simple examples for the use of spectral sequences
34
Cohomology of Flag Varieties
26
Intuitive explanation for the use of matrix factorizations in knot theory
23
How to determine the length of an Ethernet II frame?
15
Fixed points in computability and logic