Mathematics
Hanno's user avatar
Hanno's user avatar
Hanno's user avatar
Hanno
  • Member for 10 years, 6 months
  • Last seen this week
Profile Activity
Stats
19,290
reputation
222k
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
29
silver badges
60
bronze badges
Top tags
View all tags
350
Score
84
Posts
21
Posts %
290
Score
95
Posts
24
Posts %
196
Score
64
Posts
16
Posts %
169
Score
43
Posts
11
Posts %
165
Score
47
Posts
12
Posts %
146
Score
48
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
answer
23
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
16
Intuitionistic logic plus $A → B \lor C \vdash ( A → B ) \lor ( A → C )$
May 29, 2016
answer
16
Does the category of locally ringed spaces have products?
Nov 23, 2014
question
15
Fixed points in computability and logic
Nov 2, 2014
answer
14
How to prove tensor product is exact when acted on split short exact sequence?
Apr 6, 2015
Top network posts
View all network posts
42
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
Tate Cohomology via stable categories

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.