Mac Malone
Research Software Engineer at Lean FRO
Chapel Hill, North Carolina, United States
Summary
🤩
Rockstar🎓
Top SchoolMac Malone is a Research Software Engineer and Ph.D. in Computer Science from UNC Chapel Hill with 11 years of experience building developer tooling, gamified learning platforms, and secure systems. He is a core contributor to the Lean 4 ecosystem—designing and maintaining Lake, the package manager and build system used by the Lean theorem prover—and refactored its build/test infrastructure while at Microsoft Research and now at Lean FRO. His academic work blends CS education and security, producing Riposte, an online gamified platform to teach reverse engineering and cybersecurity, and multiple first-author publications at SIGCSE, ITiCSE, SIGITE, and IEEE ICST. Comfortable across full stacks and research teams, he pairs rigorous implementation skills with pedagogy-driven design and a creative bent evidenced by a student play he had produced during his undergraduate studies.
11 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of North Carolina at Chapel Hill
English, Spanish
Github Skills (7)
version-control10
c-language10
cprogramming-language10
package-management10
build-automation10
git9
automated-tests8
Programming languages (12)
Github contributions (5)
leanprover/lean4
Apr 2021 - Dec 2022
Lean 4 programming language and theorem prover
Role in this project:
Back-end Developer
Back-end DeveloperContributions:223 reviews, 37 commits, 421 PRs in 1 year 7 months
Contributions summary:Mac primarily focused on refactoring the build and test infrastructure of the Lean 4 code, specifically related to generating and managing source code (e.g. C) and dependency versions. The user improved the organization of the project's build process by moving some code to separate files and implemented new features to make use of package information. The work also included improving the documentation of the build process, and the testing setup.
dependent-typeshomotopy-type-theoryprovertheoremtheorem-prover
tydeu/lean4-alloy
Nov 2021 - Jan 2023
Write C shims from within Lean code.
Contributions:40 commits, 6 PRs, 135 pushes in 1 year 1 month
lean4leanshims
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.