About me
I’m Dennis, a software engineer based in San Francisco.
My work covers language-model experiments, formal proofs, developer tools, and interactive software. I’m particularly interested in how we evaluate AI systems and where those evaluations fall short.
I work with proof checkers, evaluation tasks, and training experiments to understand what a system can do. I also study how model behavior changes when those checks become the training objective.
At Bronco AI, I work on evaluation systems for autonomous agents. The projects on this site are independent work, open-source contributions, and earlier team research.
I studied at the University of California, Santa Cruz, where my activities included NeuroTechSC and the Artificial Intelligence Explainability & Accountability Lab. At NeuroTechSC I led the Machine Learning and Data team, connecting signal processing, model training, and live application work.
Outside research, I build learning tools, small products, and interactive software. You can find those projects in the catalog and Studio.
Experience & education
NeuroTechSC
Machine Learning and Data Team LeadLed the ML and Data team in student neurotechnology research, including surface-EMG processing, model training, and live inference integration.
ReferenceAeroLift.ai
Founding EngineerCollaborated on an early generative-AI enterprise platform using Django, language-model integrations, and AWS deployment.
ReferenceUniversity of California, Santa Cruz
Class of 2025Activities included NeuroTechSC and the Artificial Intelligence Explainability & Accountability Lab.
This portfolio describes independent work and public contributions. Employer work is represented at the level of publicly documented roles.
Working with AI
I use Codex and Claude Code for implementation, experiments, and review. I set the direction, check the outputs, and decide what to keep. Each project page explains my contribution and credits collaborators and upstream work.
The Studio projects are collaborations with GPT and Claude. I direct the work, test the software, and iterate on the design. Research pages include methods, results, and limitations so you can judge the work for yourself.
Contact
Email me about research, engineering opportunities, or any of the projects here.