I am Yves Robert. I teach mathematics at Universidade Aberta, in Portugal, and I hold a PhD in computational algebra. My thesis was about ProverX, a system that extends the automated theorem prover Prover9.

This is where I publish my technical books. The first one is The 6502, Gate by Gate, the book of the Gate by Gate video series: a complete 6502 computer written from scratch in an FPGA, one chapter at a time. Its code is free on GitHub.

I also write novels, in French and in Portuguese. You will find them at yvesrobert.com.