About Jan Mas Rovira
Jan Mas Rovira is a computer scientist and logician with a focus on type theory, proof assistants, and compilers.
Known information
Jan Mas Rovira is recognized in the field of computer science for his expertise as a logician with a deep interest in type theory, proof assistants, and compilers. He is passionate about the elegance of programming and proof development, viewing them as interconnected disciplines. Rovira advocates for the integration of advanced type features, such as dependent types, into mainstream programming languages. He believes that this integration is key to enhancing the sophistication and effectiveness of both programming and proofs.
About Heliax
Heliax is a remote-first company specializing in distributed ledger technology, known for its flexible work environment and collaborative culture.