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 (7)
ocaml6
replication5
opam5
complex-numbers4
package-repository4
python3
homotopy-type-theory1
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
complex-numberspython
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.