Area 51 » Jukka Kohonen
|
Registered User
|
University lecturer of statistics in Aalto University (Espoo, Finland) since 2019. Research mostly in computational combinatorics (e.g. lattices, additive bases). |
0 |
Proposals |
1 |
Current Commitment |
148
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.0 |
Fulfilled Commitments |
0 |
Followed |
0 | Votes Cast |
0 | Badges |