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). |
network profile
| 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 |
