Remote

Anders Mörtberg

@mortberg@mathstodon.xyz

mastodon 4.7.2

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: https://staff.math.su.se/anders.mortberg/

238 Followers

98 Following

8 Posts

Joined October 16, 2023

Anders Mörtberg @mortberg@mathstodon.xyz

· 5mo ago

Replying to

@amy @ncf @totbwf Any thoughts about taking this opportunity to change the cubical type theory a bit? I think my dream system in terms of ergonomics would be cartesian Kan ops together with connections and reversals. I don't know how hard it would be to implement, but adapting the existing cubical libraries should be feasible. The main gain that I see is that we get rid of transp and replace it with coe r->s which is much easier to understand

Anders Mörtberg @mortberg@mathstodon.xyz

· 6mo ago

Gothenburg University is hiring a postdoc to work on compilation of cubical programs: https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=40092

Very cool project with lots of potential and interesting research problems to solve. Please help spreading it to interested candidates!

web103.reachmee.com

Göteborgs universitet

Anders Mörtberg @mortberg@mathstodon.xyz

· 6mo ago

We are organizing a 3rd workshop on the syntax and semantics of type theories in Ljubljana June 4-5: https://ul-fmf.github.io/mfps-sstt-2026/sstt/

Contributed talks are very welcome and short abstracts (max 1 page) should be submitted by Thursday March 26 (AoE) through EasyChair: https://easychair.org/conferences/?conf=sstt2026

ul-fmf.github.io

Anders Mörtberg @mortberg@mathstodon.xyz

· 5mo ago

Replying to

@ecavallo @jhoefer Very nice! What is the state of ua : Equiv A B -> Id A B and uabeta in this model?

Anders Mörtberg @mortberg@mathstodon.xyz

· 5mo ago

Replying to

@ljungstrom Well deserved! /Proud advisor

Anders Mörtberg @mortberg@mathstodon.xyz

· 5mo ago

Replying to

@maxsnew Congrats!

Anders Mörtberg @mortberg@mathstodon.xyz

· 11mo ago

Replying to

@ltchen @MartinEscardo @typeintype Peter Lumsdaine also gave a nice talk about setoids and univalent categories at the Palmgren memorial conference in 2020: https://logic.math.su.se/palmgren-memorial/slides/Lumsdaine-slides-Palmgren-memorial-conference.pdf

logic.math.su.se

Anders Mörtberg @mortberg@mathstodon.xyz

· 5mo ago

We have two temporary positions (1 year) as lecturer/associate professor/universitetslektor in Mathematics and Computational Mathematics at Stockholm University:

https://su.varbi.com/en/what:job/jobID:919667/where:4/

https://su.varbi.com/en/what:job/jobID:919774/where:4/

If you're interested in applying and have any questions please email me and I'll tell you more.

su.varbi.com

Associate professor in Mathematics (temporary position)

With its long tradition of excellent research, the Department of Mathematics at Stockholm University has a prominent place in Scandinavian mathematics. The department consists of three divisions: math