Mathematician interested in higher category theory, operad theory, homotopy theory, and their applications. He/him.