Level
Mathematical Engineer with a taste for subjects such as logic, type theory and category theory. There is also an special place in my heart for algorithms and competitive programming. Feel free to contact me by email (aortega0703@gmail.com) or on my LinkedIn/GitHub.