Hi, I'm

Jonah Stockwell

I'm interested in algorithms, theoretical computer science, and pure math. I also enjoy art, graphic design, and game design.

Technical
Skills

Programming Languages Tools Operating Systems
Proficient PythonFlaskHTMLCSSJavaScriptNode.jsReactJavaC#
Familiar CLuaSQLSchemeScalaHaskellAdaRMongoDBExpressScikit-learnTensorflow
PhotoshopIllustratorAudacityBlenderUnityGitAWS ColabJupyterVS Code
MacOSiOSLinuxWindows

Relevant
Experience

Research and Work
Feb 2025 -

Research with Professor Xi Chen

Worked closely in a research group to improve lower bounds to
guarantee optimality of algorithms for testing monotonicity of
Boolean functions, a longstanding problem in property testing. Department of Computer Science, Columbia University
May-Aug 2024

Software Intern at Renovate Robotics

Developed front- and back-end for human-machine interface for robotic roofing.
Created tools to reconstruct roof geometry from reports. Renovate Robotics
Jan 2023-Jan 2024

ATICUS Dermatology Web Research Project

Developed a web application for parents and providers to calculate topical steroid dosage. Columbia University Irving Medical Center
Jun 2022-Jun 2023

Research with Professor Josh Alman

Created TensorShop: A visualization suite to facilitate fast matrix multiplication. Department of Computer Science, Columbia University
Jun-Sep 2022

CS Summer Social Entrepreneurship Program

Designed and developed a web platform for courses, service learning, and activities/clubs. Riverdale Country School
Jun-Dec 2021

Research with Professor Ruben Gonzalez

Developed a napari Python plugin for single-molecule biophysical statistical inference. Department of Chemistry, Columbia University

Teaching

Spring 2025, Columbia University

Teaching Assistant, COMS3261 Computer Science Theory

2025-present (group leader)

polylog: Undergraduate Theoretical Computer Science @ Columbia

2023-present (A Theorist’s Toolkit (leader), The Sum-of-Squares method (leader),
Algebraic + Spectral Graph Theory, Differential Privacy, Property Testing)

Undergraduate Theory Learning Seminars

2018-2020

Teaching Python to 2nd and 3rd graders

Courses (2023-2024)

Fall 2025, Columbia University, Currently Enrolled

COMS6998 Algorithms for Massive Data

Fall 2025, Columbia University, Currently Enrolled

COMS4252 Intro to Computational Learning Theory

Fall 2025, Columbia University, Currently Enrolled

CSEE3827 Fundamentals of Computer Systems

Spring 2025, Columbia University

COMS6998 Proof Complexity and Applications

Spring 2025, Columbia University

MATH4061 Intro to Modern Analysis I

Spring 2025, Columbia University

MATH4042 Intro to Modern Algebra II

Fall 2024, Columbia University

COMS4236 Intro to Computational Complexity

Fall 2024, Columbia University

COMS3157 Advanced Programming

Fall 2024, Columbia University

MATH4041 Intro to Modern Algebra I

Spring 2024, Columbia University

CSOR4231 Analysis of Algorithms

Courses (2018-2023)

Spring 2023, Riverdale Country School

Graph Theory in Advanced Math

2022-2023, Riverdale Country School

Capstone Developer Project

2021-2022, Riverdale Country School, Supervised Independent Study

Theory of Programming Languages

Summer 2021, Riverdale Country School

Bioinformatics Mini-Course

2020-2021, Riverdale Country School

Advanced CS III: AI & Machine Learning

Summer 2020, Columbia University

COMS3261 Computer Science Theory

2019-2020, Riverdale Country School

Advanced CS: Algorithms and Data Structures

Summer 2018, Columbia University Pre-College

Programming in C

Representative
Projects

TensorShop

A tool for visualizing and applying operations to tensors for applications in fast matrix multiplication algorithmic research.

Llamautomata

An educational experience designed to teach automata theory through interactive puzzles, combat, and llamas.

So You Want to Make a Programming Language

An interactive website that takes the user from the theory behind programming languages to an implementation of a simple programming language.

More Projects

Games on Itch.io

ATICUS Dermatology Web Project

RCS Activities Website

Indicative Achievements

2023 National Merit Scholarship
2022, GMTK Game Jam (International) Top 3% in Creativity and 5% in Overall out of 6125 Entries
2021, Hack the Bronx Hackathon 1st in Programmers with Experience out of 91 Total Participants
2021, Brackeys Game Jam (International) Top 1% in Innovation out of 1756 Entries
2021, Wowie Jam 3.0 (International) Top 3% in Visuals and 8% in Overall out of 1016 Entries
2020, Ludum Dare 47 (International) Top 5% in Audio and 10% in Overall out of 3206 Entries
2017, Ludum Dare 40 (International) Top 25% in Audio out of 2884 Entries
Contact Me At jonahstockwell at gmail dot com
Some of my Art