Math, physics, computer science. Eight internships in three years.

My thesis, with NXP. It lets a small device use AI on private data without ever revealing that data, by running the model on encryption it cannot read.

• Four separate pieces of this had been built before, but never together. I designed and built one framework that runs them as a single pipeline, and tested it on four real neural networks.
• It beats the standard library on every cost that matters to the device, with server keys up to 7.6 times smaller and uploads 6 to 42 times smaller.
• Part of it predicts the result's accuracy ahead of time, 6 to 13 times faster than running the real thing, so you can tune a setup without waiting hours for it.

Using maths to prove software is correct, on the machines that print the world's computer chips.

• Tested the approach against a codebase of over five million lines to see if it could scale.
• Presented the results to more than 100 engineers deciding whether to adopt it.

Tools that let AI assistants like Claude do real engineering work, not just chat.

• Built three of these tools that let agents carry out multi-step tasks on a codebase.
• Made them 40 percent cheaper to run by feeding each agent only the context it actually needs.

An AI system that writes the tests for car engine software, a job people usually do by hand.

• Covered more than 95 percent of the logic across 200 plus engine control modules.
• Built it as a team of six AI agents kept apart on purpose, so none of them could cheat the test.

A tool that tells you why a piece of code exists, by tracing it back through its history to the discussion that led to it.

• Built and released it myself on two marketplaces, where anyone can install it today.
• It plugs into AI coding assistants and gives them 32 ways to dig through a project's history.

Measuring how fast a new way of proving passwords is, against the current standard, across four languages.

• Built it from scratch in C, C++, Rust, and Python to compare them fairly.
• Came out 20 percent faster than the method it competes with.

A tool that hides an invisible signature in a file, so you can prove you made it even after it is copied.

• Won first place in a 24-hour contest against more than 80 people in the room.
• The signature survives being compressed, resized, or converted, and is recorded so ownership can be checked later.