🎓 A Master of Science, specializing in Computer Science student – all the way from Chile!
✅ Completed a 4-year Bachelor of Science in Engineering, specializing in Computer Science – still recovering.
Currently (unwillingly) multitasking:
- 📚 Writing my thesis on Gradual Programming Languages with Nominal Subtyping (or something like that – please send help!)
- 🧠 Allegedly maintaining work-life balance (emphasis on “allegedly”):
- 🏋️♂️ Hitting the gym 💪
- 🏀 Shooting hoops
- ⚽️ Playing football
- 🎶 Jamming to music
- 🍕 Enjoying good food
- 😴 Attempting sleep ✨
Currently, I am interested in Software Engineering, modern Programming Languages, and Gradual Typing -a typing approach that blends static and dynamic checking. Also passionate about contributing to open source proyects.
- 📫 Talk to me: [email protected] or LinkedIn 👔 (where I pretend to be extra professional)
- 🌍 Languages: Spanish (native), English (fluent), German (currently learning - please contact me in German so I can practice 😅)
- ⚡ Fun fact: I play the guitar, love basketball, and (controversially) don't drink coffee.
- 🎓 Completed an exchange semester at Technische Universität München: Took a course on Open Source Development, used that opportunity to learn Rust, and then contributed to a variety of repositories with multiple PR's approved:
- 📂 Feel free to browse my repos - mostly coursework, but they’ve done their best!
