Jonathan Prieto Cubides
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.
Jonathan Prieto-Cubides: Ph.D. Candidate
Jonathan Prieto-Cubides is currently a Ph.D. candidate. He has a broad interest in combining mathematics and computer science. His work often focuses on expressing and formalizing constructive mathematics, as well as developing programs free of errors. Jonathan views the process of doing mathematics and programming as intrinsically linked, seeing no distinction between proving lemmas and coding.
Education and Expertise
Jonathan Prieto-Cubides is in the process of completing his doctorate. His expertise lies in the intersection of mathematics and computer science. He has a keen interest in formal methods, including type theory, proof-assistants, and automatic theorems. These areas of study allow him to work towards error-free programming and rigorous mathematical proofs.
Research in Formal Methods
Jonathan Prieto-Cubides is particularly drawn to the study of formal methods. His research focuses on type theory and the utilization of proof-assistants and automatic theorems. This work helps advance the development of consistently correct and reliable mathematical proofs and computer programs. These interests highlight his dedication to creating systems that are both mathematically sound and practically applicable in computer science.
Philosophy on Mathematics and Programming
Jonathan Prieto-Cubides maintains a philosophy that merges mathematics and programming into a single discipline. He believes that doing mathematics by proving lemmas and programming on the computer are fundamentally the same activity. This perspective guides his work, as he strives to develop methods and programs that are grounded in solid mathematical principles.