Fredrik Nordvall Forsberg
fnf@mathstodon.xyz
<p>Senior Lecturer <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@mspstrath" class="u-url mention">@<span>mspstrath</span></a></span>. Interested in type theory and constructive mathematics.</p>