mastodon 4.7.2
I won an award for my PhD thesis! It's called Högskoleföreningens pris and is awarded to one thesis in the natural sciences each year at Stockholm University. Weird Swedish name, I know, but for me, as someone who speaks this weird language, it's a great honour!
Article (in Swedish):
My paper with @dwarn@mathstodon.xyz on Steenrod squares in HoTT is now up, in its final form, in the LICS 2025 proceedings. We won both the Kleene award and distinguished paper for this one! Read it (and then explain to us how to construct higher Steenrod powers).
Here's a preprint that was just accepted for LICS:-) It's with @dwarn@mathstodon.xyz and it's about Steenrod squares.
