Benjamin Kleyner

Software engineer building dependable systems and sharp developer tools.

I am a Computer Science student at Carnegie Mellon focused on cloud infrastructure, data-intensive systems, and AI-assisted workflows. I like work that turns messy operational problems into fast, reliable tools people can trust.

Explore work Resume 2027

chalkboard_trace.jpeg

Selected work

Selected engineering work.

A mix of developer tooling, competition systems, and applied computer vision. Each project is built around a concrete operational problem.

$ dev-sync start

watching 3 pairs

mirror complete

Developer Tooling

dev-sync

2026

A Go CLI and daemon that keeps local development directories mirrored to remote SFTP destinations. It supports interactive onboarding, strict host-key verification, concurrent sync pairs, initial sync plus filesystem-event updates, debounced reconciliation, finite retry with exponential backoff, .gitignore-aware scanning, JSON logging, and start/stop/status lifecycle commands.

GoSFTPFilesystem WatchersKeychainHomebrewCI/CD

TartanHacks 2025

EmBrnt

February 2025

Real-time fire prediction and resource-positioning system inspired by California wildfire damage. The team simulated spread using terrain, canopy, and weather factors, transformed road networks into weighted graphs, and designed SPAGHETTI, a decentralized ergodic planner that improved agent overlap by 42% versus baseline. Winner of 1st place out of 176 teams.

ReactTypeScriptUNetPointNet++Multi-Agent Planning

TartanHacks 2024

Sky Shepherd

February 2024

A package for hyperlocal dynamic navigation at outdoor venues using drone-based aerial crowd detection and mapping. The system estimated crowd boundaries from exterior detections, mapped drone footage onto satellite imagery, and produced a dynamic search cost map.

OpenCVYOLOA*PythonComputer Vision

Experience

Production systems, cloud infrastructure, and leadership.

Internships and leadership roles where I shipped reliable tools, improved operational workflows, and took responsibility for people, budgets, and execution.

Stripe

Software Engineer Intern

May 2026 - August 2026 - Seattle, WA

Built a MongoDB-backed event history system ingesting approximately 200K records per day for scalable retrieval of billing alert lifecycle events.
Developed a Ruby event-bus consumer to send threshold notifications with less than 1 second latency across balance-sensitive workflows.
Removed 10K+ lines of dead code across production billing services for the Usage-Based Billing team.
Evaluated an internal AI coding harness for team adoption, supporting productivity improvements and reducing AI-assisted workflow costs by up to 50%.

RubyMongoDBEvent BusBilling SystemsAI Tooling

Amazon Web Services - AWS Artifact

Software Development Engineering Intern

May 2025 - August 2025 - Arlington, VA

Designed an AWS Lambda and S3-based content freshness detection system for regulatory compliance, cutting manual updates by 90% across 100+ sources.
Boosted document repository coverage by 25% using Amazon Bedrock's agentic AI to automatically find and incorporate new compliance documents.
Developed PDF and HTML parsers with deduplication and hashing techniques, reaching 97% accuracy in detecting changes within extensive documents.

AWS LambdaS3Amazon BedrockPythonTypeScript

Insitro

Software Engineering Intern

May 2024 - August 2024 - South San Francisco, CA

Reduced repetitive notifications by 45% through a Python implementation of an intelligent filtering algorithm.
Reduced genome sequencing data processing time by 40% through AWS pipeline optimization and parallel processing techniques.
Implemented an AWS OpenSearch index, speeding biological compound database query time by 75%.

PythonDjangoReactTypeScriptPostgreSQLOpenSearch

Leadership

CMU Interfraternity Council

VP of Communications and Finance

January 2026 - Present

Oversaw IFC budget planning across 8 fraternity chapters, supporting financial operations for 400+ members in CMU Greek life.
Managed allocation of $10,000 in council funding across programming, risk management, recruitment, and community initiatives.

Leadership

Alpha Epsilon Pi, Alpha Kappa

President, Vice President, Treasurer

November 2024 - May 2026

Managed an annual budget of $160,000 to organize and sponsor activities for 60+ members.
Assumed presidency mid-term after a leadership vacancy, maintaining finance, housing, recruitment, philanthropy, and chapter operations.

Technical skills

PythonCC++JavaRubyReactTypeScriptAWSGoogle Maps APIGoRustSQL

Coursework

CMU foundations.

Systems, algorithms, machine learning, theory, computational biology, and the math behind the work.

Term

Courses

Spring 2026

GPA 3.60

02-510Computational Genomics
15-311Logic and Mechanized Reasoning
15-411Compiler Design
15-455Undergraduate Complexity Theory
98-317StuCo: Type Theory

Fall 2025

GPA 3.76

02-512Computational Methods for Biological Modeling and Simulation
15-312Foundations of Programming Languages
15-418Parallel Computer Architecture and Programming
73-102Principles of Microeconomics
82-293Russian Cinema: Bolsheviks to Putin

Spring 2025

GPA 3.8

15-213Introduction to Computer Systems
15-451Algorithm Design and Analysis
10-315Machine Learning
15-591Independent Study in Computer Science
76-270Writing for the Professions

Fall 2024

GPA 3.8

15-210Parallel and Sequential Data Structures and Algorithms
15-259Probability and Computing
02-414String Algorithms
85-211Cognitive Psychology
80-261Experience, Reason & Truth

Spring 2024

GPA 3.8

15-251Great Ideas in Theoretical Computer Science
15-150Principles of Functional Programming
02-251Great Ideas in Computational Biology
21-266Vector Calculus for Computer Scientists
09-105Introduction to Modern Chemistry I

Fall 2023

GPA 4.0

15-122Principles of Imperative Computation
15-151Mathematical Foundations for Computer Science
21-241Matrices & Linear Transformations
76-101Interpretation and Argument
07-128Freshman Immigration Course
07-131Great Practical Ideas in Computer Science

Contact

Get in touch.

The fastest way to reach me is email. You can also find code and background through GitHub, LinkedIn, and the current resume.

benkleyner@gmail.com

Carnegie Mellon University - Pittsburgh, PA

Email GitHub LinkedIn Resume