Jordan Winkler
Co-Founder at Purdue University
United States
Summary
👤
Senior🎓
Top SchoolJordan Winkler is a co-founder and researcher with nine years of experience at the intersection of formal methods, program synthesis, and compiler technology. Currently completing a PhD bridging mathematics and ECE, he focuses on automated proofs for cutting-edge areas like the Geometric Langlands Program and builds higher-end compilers at Xenglo. His background includes MS-level work on provable learning algorithms for the U.S. Air Force and dual bachelor’s degrees in mathematics and computer science, reflecting a rare blend of deep pure math and practical algorithmic training. He also has extensive teaching and tutoring experience, translating complex theory into clear instruction, and brings a creative, interdisciplinary outlook—aptly summarized on GitHub with a poetic nod to being a “music maker” and dreamer of ideas.
9 years of coding experience
1 year of employment as a software developer
Master's Degree, Electrical and Computer Engineering, Master's Degree, Electrical and Computer Engineering at Purdue UniversityBachelor's degree, Mathematics, Bachelor's degree, Mathematics at Indiana University South Bend
Github Skills (20)
ocaml7
mappings7
opam6
nim-language5
complex-numbers5
sympy5
package-repository4
python4
deep-learning3
replication3
pytorch3
incremental-learning2
theory2
package-manager2
proof-assistant1
Programming languages (1)
Github contributions (5)
Jmw150/Complex-Display-Space
Jan 2020 - Sep 2021
A python script to display function mappings on complex numbers
Contributions:3 commits, 2 PRs, 2 pushes in 1 year 8 months
pythonpython-scriptarraysmappingssympy
Jmw150/computercraft.code
Mar 2019 - Apr 2020
Contributions:9 commits, 8 pushes, 1 branch in 1 year 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.