CAIMEO

A student interested in math and computer science.

$$ \text{Life} = \int_\text{birth}^{\text{death}} \text{study} \ dt $$

• 🌱 Learning Programming Language Theory and Type Theory
• 🤔 Researching on Programming Languages Theory
• 📝 Regularly write notes and blogs (The Rabbit Hole)
• 🔭 Working on QuickCheck, Proof Assistant and Morpheus Compiler

Languages and tools

                                       

Interests

• Abstract Algebra
• Arch Linux and NixOS
• Category theory
• Classic Music
• Computer Science
• Minecraft
• Programming Language Theory
• Quantum physics and Quantum computing
• String Theory
• Type Theory