Carl Kolon

I’m a Software Engineer at Vannevar Labs. I live in San Francisco. For 5 years I was a Submarine Officer in the US Navy. Before that, I was a Trident Scholar in Mathematics at the US Naval Academy. This is my personal website.

In San Francisco

I did a lot of math work at the Naval Academy. You can read about it here. The main topic of my research is the stability of mathematical swarm models. Currently, I’m interested in software and machine learning, especially automatic ways to prove stability and control nonlinear systems. Check my blog to see what I’m up to.


This is my public key.

I’m on LinkedIn as Carl Kolon

I’m on Twitter as @CarlKolon.

I’m on Github as cckolon.

My cat is on Instagram as @rockminsterfullerene.

My wife, Jackie, is an internal medicine resident at UCSF.