Hello there!
Buenas, this is my blog! I’m Sona Tau Estrada Rivera, a Computer Science and Mathematics undergrad student.
Research topics:
- Costas Arrays
- Arithmetical Structures
- Meta-Mathematics
Interests:
- formal verification
- Category Theory
- Linguistics
- distributed systems
- low-level programming
Some cool projects I’ve worked on:
- My CV
- Cool database I worked on: AECC db
- My mathematics zettelkasten
- And everything I’ve put as a writeup on my pins!