Dr. Herman Rohrbach
My preferred pronouns are they/them. I'm a postdoc with Marc Levine working primarily on Hermitian K-theory. My current areas of interest include motivic homotopy theory, higher category theory, equivariant cohomology and derived categories, as well as automated theorem proving in Lean4. I'm currently working on an analogue of the Atiyah-Segal completion theorem for Hermitian K-theory, which sits at the intersection of motivic homotopy theory, representation theory and the theory of derived categories of schemes.