Chase Meadors
Graduate Teaching Assistant
Boulder, Colorado, United States
Summary
🤩
Rockstar🎓
Top SchoolChase Meadors is a mathematician and software engineer with 12 years of experience blending rigorous theory and practical engineering, currently a Graduate Teaching Assistant at the University of Colorado Boulder while pursuing a PhD in Mathematics. He has full-stack experience from startups to research software, including a software engineering role building web applications and internships developing LabVIEW interfaces and C#/C++ bindings at National Instruments. An active open-source contributor, Chase has worked on heavyweight projects like SageMath and the Lean mathlib3 library—contributing formalized proofs, lattice theory, and refactorings—and improved the UX of mathematical tooling such as a TikZ commutative-diagram editor. He brings a rare combination of formal proof engineering and front-end UI polish, able to move between abstract theorem formalization and user-facing features. Based in Boulder, he maintains a public engineering presence as @cemulate on GitHub and publishes a personal project page showcasing his work. Colleagues appreciate that his contributions often simplify complex code paths and surface practical shortcuts born from deep mathematical insight.
12 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at University of Colorado BoulderMaster’s Degree, Mathematics, 4.0 GPA, Master’s Degree, Mathematics, 4.0 GPA at Oklahoma State University
English
Stackoverflow
2,313reputation
133kreached
10answers
65questions
Github Skills (39)
javascript10
python10
mathematics10
proofs10
proof10
math10
maths10
ordered-set10
ordered10
front-end-development10
mathjax10
theorem-proving10
preact10
leanback10
react10
Programming languages (17)
Github contributions (5)
yishn/tikzcd-editor
Oct 2017 - Sep 2020
A simple visual editor for creating commutative diagrams.
Role in this project:
Front-end Developer
Front-end DeveloperContributions:11 commits, 3 PRs, 10 comments in 2 years 11 months
Contributions summary:Chase focused on enhancing the user interface and functionality of the commutative diagram editor. Their contributions include implementing features to save and load diagrams via URL hash, adding keyboard shortcuts for edge manipulation, and integrating MathJax for rendering mathematical expressions. Furthermore, they refactored event handlers and improved UI elements. These changes demonstrate an active role in improving user interaction and adding core features.
diagramseditorvisual-editor
sagemath/sage
Jul 2020 - Aug 2021
Main repository of SageMath
Role in this project:Back-end Developer
Back-end DeveloperContributions:134 commits in 1 year 1 month
Contributions summary:Chase primarily contributed to the `coxeter3` module within the SageMath repository, focusing on implementing and improving features related to Coxeter groups. Their work included ensuring normalization of elements within the `coxeter3` CoxeterGroup, providing a direct and efficient implementation of `from_reduced_word`, and incorporating basic cell computations using the CpC basis. The user also addressed typos and handled various TODO items, demonstrating an active role in refining the codebase.
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.