Jonathan Huerta Y Munive
Assistant Professor at Aalborg University
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolJonathan Huerta Y Munive is an assistant professor and researcher specializing in automating formal verification for software and hardware, with a decade of experience spanning postdoctoral roles at Copenhagen and Czech institutes and a PhD in verification of cyber-physical systems from the University of Sheffield. He combines hands-on tool development (improving and optimising VeriMon) with teaching proof assistants and compiler verification to undergraduate and master students. Jonathan has applied ML techniques to verification problems—work that included reinforcement learning for deductive verification during an MSCA fellowship—and previously built production ML models as a data scientist in industry. His background in pure mathematics, classroom teaching, technical communication (YouTube outreach and translation for Microsoft Mexico), and organisational leadership (Mensa Mexico) gives him an unusual blend of formal rigour, pedagogy, and practical product-facing experience. Based in Copenhagen, he focuses on scalable automation of formal methods while supervising industry-collaborative student projects.
10 years of coding experience
9 years of employment as a software developer
B.S., Mathematics, B.S., Mathematics at Benemérita Universidad Autónoma de PueblaDoctor of Philosophy (PhD), Advanced Computer Science, Doctor of Philosophy (PhD), Advanced Computer Science at The University of SheffieldB.S., Physics & Industrial Engineering, No terminado, B.S., Physics & Industrial Engineering, No terminado at Instituto Tecnológico y de Estudios Superiores de Monterrey
Spanish, English, French, German
Stackoverflow
125reputation
891reached
0answers
3questions
Github Skills (14)
ocaml7
theorem-proving6
opam6
predicate6
verification6
isabelle6
boolean6
package-repository4
tex3
pdf-viewer2
database2
text-editor2
package-manager2
codebase2
Programming languages (2)
Github contributions (5)
yonoteam/CPSVerification
Oct 2017 - Apr 2021
Contributions:135 commits, 4 PRs, 122 pushes in 3 years 6 months
cyberisabellecyber-physical-systemsphysicalcyber-physical
yonoteam/DeepIsaHOL
Nov 2023 - Apr 2025
Contributions:304 pushes, 5 branches in 1 year 4 months
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.