Skip to content
View ocartaxo's full-sized avatar
🏠
Working from home
🏠
Working from home
91 followers · 201 following
  • AI/R Uol Company
  • Salvador, Bahia - Brazil
  • LinkedIn in/ocartaxo

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report ocartaxo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ocartaxo/README.md

Hello there, I'm Otavio Cartaxo 👋

I am a Software Engineer driven by the challenge of solving complex problems at the intersection of mathematics and technology

  • 🔭 Currently I'm building software at AI/R Uol Company
  • 🌱 Currently studying AI/ML, Real Analysis, Physics, Abstract Algebra, Discrete Math, Probability, Combinatorics, and Graph Theory
  • 👯 I’m looking to collaborate on high-performance distributed systems, data engineering tools, or any challenging backend architecture.
  • 🤔 I’m looking to connect with researchers, engineers, or anyone building software applied to hard sciences.
  • 💬 Ask me about data structures and algorithms, software engineering, distributed systems, network programming, operating systems, databases, and compilers
  • 📫 How to reach me: You can reach me via e-mail or LinkedIn. Always down for a chat about software engineering, math, or why Pink Floyd is the greatest band of all time.
  • 😄 Pronouns: He/Him
  • ⚡ Fun fact: I've been training Shotokan Karate for 15+ years and I'm a black belt.

🛠️ Tech Stack & Skills


💻 Languages

🚀 Frameworks & 🧠 AI/ML

⚙️ DevOps

🖥️ OS

Pinned Loading

  1. kopet kopet Public

    api rest para facilitar adoção de pets

    Kotlin 1

  2. candy candy Public

    Candy Crush game using backtracking approach

    C++ 1

  3. COVID-19InBahia COVID-19InBahia Public

    Forked from MarcioCerqueira/COVID-19InBahia

    Data analysis about hospitalized COVID-19 patients in Bahia, Brazil with Python

    Jupyter Notebook 1

  4. aoc2025 aoc2025 Public

    My solutions for Advent Of Code 2025 challenge

    C++

  5. simple-kache simple-kache Public

    Extremely light-weight caches strategies implemented in Kotlin, just for study purpose

    Kotlin

  6. voidkv voidkv Public

    A lightweight, in-memory key-value store inspired by Redis, implemented in C/C++.