Software Engineer/Computer Scientist

Login to Send Email

Description

Neovim Github Git Lean Agda Java Clojure Rust Erlang Scala C Haskell Ocaml Python Nix Gitlab Unix Flutter

Hi! I'm a Software Engineer/Computer Scientist highly interested in Functional Programming, especially with Haskell. But I can also work with Rust. I can learn new things pretty quickly and usually without any help, just making my way through the documentation. And I also love problem-solving, so I really try to get things working every time. But I'm also always working to improve my skills to become better in what I do. While I would really like to work with compilers, types and a lot of formal stuff, I'm always open to other areas of development (i.e. Haskell's servant or distributed-process). I'm currently a Computer Science undergraduate student at Benemérita Universidad Autónoma de Puebla. I'm finishing my bachelors in Summer 2023 (I managed to reduce by one year my degree, while having a good GPA [95.7/100]). But I also have a lot of free time, so this shouldn't be much of an issue. I promise to be careful. I would love to be in your team building exciting things! So get in contact with me if you are interested or want to talk more about it. Thank you so much for your time, and I hope you are having a good day!