My name is Martin and this is my website. This page will remain concise and readable. You can find artifacts on linked pages.
I focus on mathematics and formal methods.
I studied mathematics in SLO and Goleta. Some of what I wrote is on GitHub and arXiv.
I come from El Granada, CA. In my teens, I worked as a camp counselor, swim instructor and lifeguard. I was good at skateboarding. In my junior year, my hand-built ceramic figure won the Surreal Creature Contest.
The name "reamstack" means nothing to me and I think it sounds macho or something. Nope! It refers to a stack of stacks of white printer paper, my constant companion for more than three decades.
You can write me at the obvious Gmail address.