Newton Ni
PHD Student at The University of Texas at Austin
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolNewton Ni is a PhD student at The University of Texas at Austin with nine years of engineering experience applying programming-language theory—type systems, formal verification, and static analysis—to practical systems. A Cornell CS alumnus and former engineer at Commure, he blends research rigor with production software experience, including teaching functional programming and data structures. He contributes to educational compilers like the well-regarded Bril IR, where he improved grammar, data structures, and the type system in Rust. Based in Austin, he is interested in PLT, systems, and education, and brings a musician's attention to pattern and structure to his engineering. Newton’s profile reflects a practitioner who moves between formal models and pragmatic code, making advanced abstractions usable in real-world tooling.
9 years of coding experience
3 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Cornell University
Github Skills (10)
compiler10
programming-language10
compiler-compiler10
rust10
serialization9
serializer9
serializable9
deserialization9
data-structures8
data-structure8
Programming languages (8)
Github contributions (5)
sampsyo/bril
Sep 2019 - Dec 2020
an educational compiler intermediate representation
Role in this project:
Backend Developer
Backend DeveloperContributions:7 commits, 1 PR, 1 comment in 1 year 3 months
Contributions summary:Newton primarily contributed to the Bril compiler intermediate representation project by modifying and refining the Rust code base. Their work involved updating the grammar, optimizing data structures, and improving the type system. They also made code style choices and refactored the code to align with the Rust language's best practices and syntax.
representationbrilcompiler-constructioncompilertranspiler
nwtnni/advent-of-code
Dec 2018 - Dec 2022
Contributions:360 commits, 362 pushes in 4 years 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.