Jesus Chimento
Software Application Developer
Greater Gothenburg Metropolitan Area Sweden
Summary
🤩
Rockstar🎓
Top SchoolJesus Chimento is a software application developer with a PhD in Computer Science and 11 years of experience blending rigorous research with production engineering at Jeppesen (Boeing) and Jeppesen ForeFlight. His postdoctoral work at KTH focused on full-stack verification for programs synthesized from timed automata, reflecting deep expertise in formal methods and correctness. He contributes to high-profile verification projects such as CakeML, where he works on proving compiler correctness and refining language semantics. Known for clean, modular code and strong teamwork, he combines academic rigor with practical delivery in aviation-grade software. Based in the Gothenburg area, he is comfortable bridging research and industry needs and continually sharpens his programming skills to tackle complex system challenges.
11 years of coding experience
6 years of employment as a software developer
First Certificate in English (FCE), First Certificate in English (FCE) at University of CambridgeLicentiate degree Computer Science, Licentiate degree Computer Science at Universidad Nacional de RosarioDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Chalmers University of Technology
Spanish, English, Swedish
Github Skills (6)
compiler10
theorem-proving10
sml10
compiler-compiler10
programming-language9
hol9
Programming languages (2)
Github contributions (5)
CakeML/cakeml
Mar 2020 - Mar 2020
CakeML: A Verified Implementation of ML
Role in this project:
Back-end Developer
Back-end DeveloperContributions:9 commits, 8 pushes in 13 days
Contributions summary:Jesus primarily contributes to the formal verification aspects of the CakeML project. Their work focuses on proving theorems and refining the semantics of the language, as evidenced by the modifications to the `loop_to_wordProofScript.sml` file. The commits demonstrate an in-depth knowledge of the underlying formal verification framework and the specific challenges of reasoning about the language's compilation and execution. The user appears to be working towards proving the correctness of the `compile_Return` function and making progress toward compiling If statements.
smlverifiedtheorem-provingsatformal-verification
antoninashy/antoninashy.github.io
Jan 2022 - Feb 2024
Website
Contributions:3 PRs, 27 pushes, 2 branches in 2 years 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.