Contact

Get in touch

Talks, workshops, research, and consulting. I work with laboratories, institutions, and teams on verification, speculation, and free software.