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

• 🧑‍💻 Working Part-time as a Software Engineer
• 📚 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.

• 🔭 I am currently working at ARIUS Industrial
• 📫 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) try to avoid 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:
  • [pycodestyle] Whitespace after decorator (E204)
  • Implementation of Average Marginal Ranking Loss Function
  • Implementation of Negative Log Likelihood Loss Function
  • Nameserver information to network block
• 📂 Feel free to browse my repos - mostly coursework, but they’ve done their best!