About Artem Gureev
Artem Gureev is a mathematician specializing in the semantics of dependent type theories and homotopy theory, with a keen interest in the practical applications of interactive theorem proving and category theory.
Known information
Artem Gureev is a mathematician trained in the semantics of dependent type theories and homotopy theory. His academic and professional pursuits extend into the practical applications of interactive theorem proving and category theory. Gureev’s work primarily focuses on exploring and expanding the boundaries of mathematical theories to solve real-world problems, demonstrating a robust integration of theoretical knowledge and practical implementation.
About Heliax
Heliax is a remote-first company specializing in distributed ledger technology, known for its flexible work environment and collaborative culture.