About Jonathan Prieto-Cubides
Jonathan Prieto-Cubides is a Ph.D. candidate with a focus on integrating mathematics and computer science, particularly in formal methods and type theory.
Known information
Jonathan Prieto-Cubides is currently pursuing his Ph.D., where he specializes in the intersection of mathematics and computer science. He is passionate about the application of constructive mathematics and the development of error-free programs. His research interests are deeply rooted in formal methods, including type theory and the utilization of proof assistants and automatic theorem provers. Jonathan holds the belief that performing mathematics and programming on computers are fundamentally similar activities, both involving the proving of lemmas and solving of problems.
About Heliax
Heliax is a remote-first company specializing in distributed ledger technology, known for its flexible work environment and collaborative culture.