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:
About