
Previously: Eclipse, Citadel, UC Berkeley
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
gpt-erdos
January 13, 2026 – Present
A repo to document candidate solutions for Erdős problems produced via LLM-driven proof search.
View Projectsymbolic-circuit-distillation
November 21, 2025 – November 23, 2025
Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits
View Projectvericuda
October 21, 2025 – Present
VeriCUDA: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
View Projectsenator-filings
May 8, 2020 – January 19, 2024
Scrape public filings of the buy + sell orders of U.S. senators and calculate their returns
View Projectreact-flask-heroku
April 22, 2020 – April 24, 2020
Simple bootstrapping code for a React frontend and Flask backend ready to deploy to Heroku.
View Projectbrainspell-neo
October 28, 2016 – December 7, 2022
Working on a new version of Brainspell (an open-source platform for neuroimaging literature) to make a public JSON API that collaborators can contribute to, switch out the stack for better scalability, and provide statistical features to better conduct meta-analyses.
View Projectpretty-calendar
April 20, 2014 – February 13, 2025
A jQuery plugin for generating pretty calendars.
View ProjectCultural Fit Analysis
The candidate's projects are primarily personal and demonstrate a strong interest in diverse technical areas, including data science, web development, and formal verification. This indicates a self-driven individual with a broad curiosity. However, the projects lack direct alignment with a typical enterprise data scientist role, focusing more on research-oriented or niche technical challenges. The absence of team projects or professional experience makes it difficult to assess collaboration or cultural fit within a structured team environment.
Soft Skills & Operational Fit
Insufficient data to assess soft skills and operational fit. No psychometric test results or interview feedback provided.