I participated in the IMO around 2000. Now I work as a software engineer, but I've never lost my love of mathematics. In fact, I still consider myself a mathe

I participated in the IMO around 2000. Now I work as a software engineer, but I've never lost my love of mathematics. In fact, I still consider myself a mathematician, but instead of seeking inspiration from the physical world (physics) I seek inspiration from the practice of computer programming. This approach has already yielded homotopy type theory, but I think that this is the tip of the iceberg.