I’m Ricardo Antunes, and I'm currently working as a Systems Engineer at Cloudflare.
My main area of interest in software engineering was initially game development - I learned a lot writing my own game engines during the final years of high school. Eventually I got into all kinds of computer science rabbitholes, and ended up doing a masters on distributed systems and cyber security.
Overall, my main interests are:
- Proof Assistants and Type Theory
- Functional Programming
- Distributed Systems
- Compilers
- Game Engine Development




