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