Jonathan P. Email & Phone Number

Colombia

I am currently working on organizing the new Anoma Specification and investigating an Actor-like model for the underlying Anoma distributed system. This involves reviewing existing documentation, reading academic papers, developing tooling for documentation (mainly in Python using mkDocs), lots of refactors, and integrating with in-house projects such as using the in-house programming language Juvix as a declarative language for communication. This project is also connected with the formal specification of Anoma, a work-in-progress project carried out with other researchers in the theorem prover system Isabelle/HOL. I suggested organizing the research at Heliax to consolidate the ideas and development of Anoma. As a result, I created what is now called the Anoma Research Topics (ART for short) https://art.anoma.net/. ART is used as a hub for Anoma's innovation and ongoing progress.

I managed and led a team of four talented compiler engineers at Juvix, where we worked on the Anoma Compiler Stack, focusing on the Juvix programming language. My responsibilities included overseeing multiple projects from concept to implementation, presenting the programming language at internal and international events, ensuring alignment with organizational strategic objectives, and maintaining high-quality standards in each sub-project. I also contributed to the core Haskell codebase of the compiler by organizing and refactoring the codebase multiple times, adding static analysis, and other tasks to ensure the compiler's functionality and growth in functionality. Additionally, I spearheaded efforts on Juvix's continuous integration, suggested Nightly builds for continuous testing, streamlined installation processes, and developed an online playground for seamless online experimentation. I actively contributed to and reviewed pull requests for the Juvix main repository and its Juvix standard library, initiated and moderated the Anoma-compilers Discord server, maintained the VSCode Juvix plugin, occasionally contributed to the Emacs Juvix mode, and wrote and maintained the Juvix documentation.

Investigated usage-awareness type theories like QTT for our in-house programming language. Contributed to different technical talks and product planning. https://github.com/anoma/juvix-archived

Bergen Area, Norway

Part of the project "Combining interactive and automatic proofs (Apia)".

Bogota,D.C., Capital District, Colombia

Implementation of several text data mining algorithmsfor the agency "Observatorio de Restitución de Tierras" leaded byFrancisco Gutiérrez Sanín. Programming languages: Mathematica, Python and Java.

Doctor Of Philosophy - Phd

Master In Applied Mathematics, Logic And Algorithms

Bachelor'S Degree, Mathematics

Activities and Societies: Quantum Computing Seminar, Cryptography, and Programming Contest Team

Economics

Dropout to finish math