This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Anders Mörtberg

@mortberg@mathstodon.xyz

Joined: 10/16/2023

181

Followers

87

Following
ProfileTrailsStatistics

About Anders Mörtberg

Associate professor (docent) in computational mathematics at Stockholm University.

I'm interested in HoTT/UF, cubical stuff, constructive mathematics, logic and type theory, category theoretical foundations, functional programming, computer formalization of mathematics and computer science, and much more.

Webpage: staff.math.su.se/anders.mortbe

Lists

mortberg has no public lists

Timeline

mortberg has no activity yet