Available to hire
Experience in Java, Python, formal verification, proof mechanization, game development, AI/ML, testing/QA, android, SQL, and a variety of other areas! I am a generalist and am interested in learning new things!
Skills
Experience Level
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Language
English
Fluent
Work Experience
Mobile Game at Independent Project
February 28, 2025 - October 27, 2025Built in Godot and Python. Wrote over 2000 lines of property tests using Hypothesis framework.
Mobile Game Developer at Personal Project
February 1, 2025 - October 27, 2025Built a mobile game using Godot and Python; authored over 2000 lines of property tests using Hypothesis framework.
Mobile Game Developer at Independent Project
February 1, 2025 - October 27, 2025Developed a mobile game using Godot and Python; contributed to open-source structure editor tooling.
Mobile Game (In Development) at Personal project
February 1, 2025 - October 27, 2025Built a mobile game using Godot and Python; authored over 2,000 lines of property-based tests with Hypothesis; contributed to a cross-platform testing framework.
AI Trainer at Data Annotation.tech
November 1, 2024 - PresentAssess LLM output quality and provide corrections to feed back into further training; contribute to refining labeling workflows and model alignment in remote collaboration.
AI Trainer at Data Annotation.tech
November 1, 2024 - PresentAssess LLM output quality, and make corrections to feed back in to further training
AI Trainer at Data Annotation.tech
November 1, 2024 - PresentAssessed AI outputs for quality, provided corrective feedback to feed training loops, and created educational videos to support model improvement.
AI Trainer at Data Annotation.tech
November 1, 2024 - PresentAssess LLM output quality and implement corrections to feed back into iterative model training.
Mentor at Polygence
November 1, 2022 - October 27, 2025Mentored 3 high school students on ambitious software projects, ranging from easier game development to advanced 3D robot modeling and end-to-end messaging platforms; held Zoom sessions (8-10), tracked progress, and set goals and deadlines for continued work.
Mentor at Polygence
November 1, 2022 - October 27, 2025Mentored 3 high school students with ambitious software projects; projects ranged from easier (develop a simple game) to highly advanced (3D robot modeling, E2E messaging platform). Met with students via Zoom for 8-10 sessions; tracked progress, made suggestions, and set goals and deadlines for continued work
Mentor at Polygence
November 1, 2022 - October 27, 2025Mentored 3 high school students on software projects, guiding them from simple development tasks to more advanced topics (including 3D robotics modeling and E2E messaging platforms). Conducted sessions via Zoom, tracked progress, provided feedback, and set goals with deadlines.
Mentor at Polygence
November 1, 2022 - October 27, 2025Mentored three high school students on ambitious software projects via remote sessions, tracking progress and providing guidance.
Software Engineer Intern at GrammaTech
September 30, 2021 - October 27, 2025Built language server in Python to flag duplicate code in Vim or VSCode. Check for duplicate code across multiple files in parallel. Open source: https://gitlab.com/GrammaTech/Mnemosyne/learn-syntax/clone-detection
Software Engineer Intern at GramaTech
September 1, 2021 - October 27, 2025Built a language server in Python to flag duplicate code in Vim/VS Code; cached duplicate detection across multiple files; contributed to an open-source repository; developed backend and Android client for a configuration system; led onboarding sessions explaining common AB testing pitfalls.
Software Engineer Intern at Grammatech
September 1, 2021 - October 27, 2025Worked on software tooling and development tasks in a remote setting; contributed to project-specific IDE enhancements and tooling improvements.
Software Engineer Intern at GrammaTech
September 1, 2021 - October 27, 2025Built a Python-based language server to flag duplicate code in Vim and VS Code, enabling parallel analysis of large codebases; contributed to clone-detection tooling (open source).
Teaching Assistant at University of Chicago
June 30, 2020 - October 27, 2025Held office hours to answer student questions; graded final projects
Teaching Assistant at University of Chicago
June 30, 2020 - October 27, 2025Held office hours, answered student questions, and graded final projects for computer science courses.
Teaching Assistant at University of Chicago
June 1, 2020 - October 27, 2025Held office hours to answer student questions; graded final projects.
Teaching Assistant at University of Chicago
June 1, 2020 - October 27, 2025Held office hours, answered student questions, and graded final projects.
Teaching Assistant at University of Chicago
June 30, 2019 - October 27, 2025Held office hours to answer student questions; graded final projects
Teaching Assistant at University of Chicago
June 30, 2019 - October 27, 2025Held office hours, answered student questions, and graded final projects for computer science courses.
Teaching Assistant at University of Chicago
June 1, 2019 - October 27, 2025Held office hours to answer student questions; graded final projects.
Teaching Assistant at University of Chicago
June 1, 2019 - October 27, 2025Held office hours, answered student questions, and graded final projects.
Open Source Editor / Maintainer at Zinal
May 1, 2017 - October 27, 2025Program editor that stores programs in an SQL database rather than text files; capable of self-hosting; written in Scheme/Racket; included a demo video demonstrating capabilities.
Program Editor at Zinal
May 1, 2017 - October 27, 2025Open source structure editor which stores programs in a SQL database rather than text files. Capable of self-hosting: view, edit, and compile itself. Written in Scheme/Racket. Demo video: https://youtu.be/9mSNAMTMBU0
Open Source Editor (Zinal) at Zinal
May 1, 2017 - October 27, 2025Program editor that stores programs in a SQL database with self-hosting capabilities; demonstrated editing and compiling in the tool.
Software Development Engineer at Facebook
August 31, 2015 - October 27, 2025Developed IDE plugin to support Java language enhancements for dependency injection. Wrote script to modify over 10,000 lines of dependency injection code in hundreds of files. Owner of Android client for A/B testing framework. Developed backend and Android client for configuration system. Conducted monthly lessons for new hires and developed presentations explaining common A/B testing pitfalls to experienced users.
Software Development Engineer at Facebook
August 31, 2015 - October 27, 2025Developed an IDE plugin to support Java language enhancements (dependency injection); wrote scripts to modify thousands of lines of dependency injection code; built backend and Android client for an A/B testing framework; delivered technical talks for new hires.
Software Development Engineer at Facebook
August 1, 2015 - October 27, 2025Developed IDE plugin to support Java language enhancements for dependency injection; wrote scripts to modify over 10,000 lines of dependency-injection code across hundreds of files; owned Android client for A/B testing framework; developed backend and Android client for a configuration system; conducted monthly lessons for new hires explaining common AB testing pitfalls.
Software Development Engineer Intern at Facebook
August 1, 2015 - October 27, 2025Developed an IDE plugin to support Java language enhancements for dependency injection; wrote scripts to modify over 10,000 lines of dependency injection code across hundreds of files; owned the Android client for an A/B testing framework; developed backend and Android client for a configuration system; delivered monthly onboarding sessions for new hires and created presentations outlining common A/B testing pitfalls.
Education
Master of Science in Computer Science at University of Chicago
July 1, 2018 - June 1, 2021Bachelor of Science in Computer Science at University of Texas at Austin
August 1, 2008 - December 1, 2012Master's degree in Computer Science at University of Chicago
July 1, 2018 - June 1, 2021Bachelor of Science, Computer Science (Turing Scholars Honors) at University of Texas at Austin
August 1, 2008 - December 1, 2012Bachelor of Science, Mathematics: Pure Mathematics at University of Texas at Austin
August 1, 2008 - December 1, 2012Master's degree in Computer Science at University of Chicago
July 1, 2018 - June 30, 2021Bachelor of Science, Computer Science (Turing Scholars Honors) at University of Texas at Austin
August 1, 2008 - December 31, 2012Bachelor of Science, Mathematics: Pure Mathematics at University of Texas at Austin
August 1, 2008 - December 31, 2012Master of Science in Computer Science at University of Chicago
July 1, 2018 - June 1, 2021Bachelor of Science in Computer Science at University of Texas at Austin
August 1, 2008 - December 1, 2012Bachelor of Science in Mathematics (Pure Mathematics) at University of Texas at Austin
August 1, 2008 - December 1, 2012Qualifications
Master's Thesis: Delta Dictionaries: Total and External Finite Maps in Proof Assistants
January 1, 2020 - June 1, 2021Undergraduate Honors Thesis: Transformation of Robot Model to Facilitate Optimization of Locomotion
January 1, 2012 - December 1, 2012Industry Experience
Software & Internet, Education, Gaming, Media & Entertainment, Professional Services, Computers & Electronics
Skills
Experience Level
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Hire a Full Stack Developer
We have the best full stack developer experts on Twine. Hire a full stack developer in Austin today.