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
AI Trainer at Data Annotation.tech
November 1, 2024 - PresentAssess LLM output quality and implement corrections to feed back into iterative model training.
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).
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.
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 30, 2020 - October 27, 2025Held office hours, answered student questions, and graded final projects for computer science courses.
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.
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.
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.
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.
Teaching Assistant at University of Chicago
June 1, 2019 - October 27, 2025Held office hours, answered student questions, and graded final projects.
Teaching Assistant at University of Chicago
June 1, 2020 - October 27, 2025Held office hours, answered student questions, and graded final projects.
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.
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.
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.
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.
AI Trainer at Data Annotation.tech
November 1, 2024 - PresentAssess LLM output quality, and make corrections to feed back in to further training
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
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
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, 2020 - October 27, 2025Held office hours to answer student questions; graded final projects
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.
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.
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
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.
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.
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.
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, 2020 - October 27, 2025Held office hours to answer student questions; graded final projects.
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.
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.
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.
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.