Artem Semidetnov

I am a master's student at the University of Geneva.

I am mostly interested in homotopy theory, category theory, type theory, and proof assistants. Here is my CV. You can read about what I do here.

You can reach me at