N Davis
Senior Software Engineer at Zorp Corp
Urbana-Champaign Area United States
Summary
👤
Senior🎓
Top SchoolN Davis is a principal software engineer and applied researcher with ~12 years’ experience building languages and developer tooling for novel computing platforms, currently focused on zero-knowledge VMs and LLM-targeted primitives. He designed the Jock language and the Nockchain ZKVM at Zorp Corp and has led developer experience and deterministic numeric library work for the Urbit ecosystem. A former Teaching Assistant Professor at UIUC, he brings deep pedagogy—having taught large CS1 lectures and created new courses—to training engineers and scientists since 2013. His academic roots are in nuclear and chemical engineering, which inform a methodical, scientific approach to systems and OS design. He publishes technical essays (Extelligencer, Urbit Systems Technical Journal) and is authoring longer treatments on zero-knowledge proofs and fundamental computing, blending hands-on implementation with theory and organizational insight.
12 years of coding experience
11 years of employment as a software developer
University of Illinois Urbana-ChampaignBachelor of Science - BS, Chemical Engineering, Bachelor of Science - BS, Chemical Engineering at Brigham Young University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (88)
nbgrader10
web-application10
python10
loops10
data-management10
django10
spanish10
lms10
jupyter-widget10
ipython-magic10
versioning10
stable10
jupyter10
jupyterlab-extension10
jupyter-notebook10
Programming languages (12)
Github contributions (5)
illinois-cse/abaqus-sp15
Dec 2014 - Mar 2015
Contributions:7 commits in 3 months
illinois-cse/data-fa14
Sep 2014 - Nov 2014
Contributions:38 commits in 2 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.