Técnico de Projetos Sênior @ Eldorado · Fundador @ Haunted Labs

Nilo Edson

Engenheiro de Sistemas de Telecomunicações especialista em integração de Software de Modem e Processadores de Banda Base (Qualcomm/MediaTek), Android Embarcado, Protocolos Celulares (5G, 4G, 3G e 2G), RIL/IMS e desenvolvimento de firmware para sistemas embarcados. Fundador e Arquiteto Principal do Haunted Labs, desenvolvendo motores de cálculo combinatório determinístico, gramáticas algébricas abertas e ferramentas de IA via Model Context Protocol (MCP).

Estúdio Independente de P&D
EST. 2026

Haunted Labs

Fundado e liderado por Nilo Edson, o Haunted Labs é um estúdio independente focado no projeto de linguagens formais específicas de domínio (DSL), motores de simulação combinatória determinística e ferramentas autônomas de IA. O estúdio substitui fluxos de cliques ruidosos de navegadores e arquivos binários proprietários por representações algébricas verificáveis e modelos analíticos de alta performance.

✦ Gramáticas Formais & RFCs

Pioneiro no desenvolvimento do Padrão YGN/YBN (RFC 0001), uma notação algébrica inspirada no Xadrez para TCGs, entregando 88%–94% de compressão sobre os logs de simuladores web.

✦ Simulação Determinística

Criador do ygo-sim-core ("Stockfish para TCGs"), modelando máquinas de estados de tempo de efeitos rápidos, tabelas de transposição xxHash64 e busca combinatória DFS.

✦ Integração com IA & MCP

Disponibilização de superfícies de simulação diretamente para modelos modernos de linguagem (LLMs) via servidores Model Context Protocol (MCP stdio).

Conheça o manifesto formal, os quatro pilares de pesquisa e o catálogo completo de sistemas.
Explorar o Haunted Labs Studio →

Projetos em Destaque

Especificação & Ferramentas Padrão RFC 0001

YGN Standard

Padrão algébrico aberto, legível por humanos e determinístico para transcrição de partidas competitivas e estados de tabuleiro (YBN)—inspirado nas notações PGN e FEN do xadrez. Substitui 25 anos de logs web fragmentados e replays binários com descompasso.

Compressão 88% – 94%
Norma Aberta RFC 0001
Linguagens TS / Py / Lua
Gramática Algébrica Processo RFC TypeScript Python Emissor Lua Parser AST
Motor de Cálculo & MCP Motor Autônomo

ygo-sim-core

Motor autônomo de cálculo combinatório determinístico e avaliação quantitativa de tabuleiros ("Stockfish para TCGs"). Conta com ordenação de jogadas estilo Stockfish, alocação de zonas link, navegação de grafos de 20+ jogadas, tabelas de transposição xxHash64 e servidor Model Context Protocol (MCP stdio).

Modelo de Memória 14 Zonas
Temporização Boxes A–E
Interface Servidor MCP Stdio
Busca em Grafos Servidor MCP xxHash64 Esquemas Zod Node.js 22 LTS Determinístico
Model Context Protocol npm v2.0.0

ygoprodeck-mcp

Servidor Model Context Protocol (MCP) local e isolado da rede (air-gapped), fornecendo consultas com zero alucinação sobre textos de cartas (PSCT), 13.000+ cartas, banlists oficiais e orçamentos de pontos Genesys com tempo de resposta sub-2ms em SQLite WAL.

Execução < 2ms (SQLite)
Requisições HTTP 0 em Execução
Pacote npm: 14.0 kB
Model Context Protocol SQLite WAL Busca FTS5 Air-Gapped Esquemas Zod Pacote npm
Model Context Protocol npm v1.1.1

ygo-meta-mcp

Servidor MCP de inteligência competitiva e descoberta de tendências de torneios. Agrega listas de torneios das principais fontes globais (YGOPRODeck, Yu-Gi-Oh! Meta, Road of the King) em banco SQLite, calculando rankings de consenso bayesiano e índices de adoção de cartas técnicas.

Consenso Bayesiano Ponderado
Fontes YGOPD / YGM / RotK
Pacote npm: 19.9 kB
Model Context Protocol Consenso Bayesiano SQLite WAL Multifontes Esquemas Zod Pacote npm

Experiência Profissional

Técnico de Projetos Sênior

Instituto de Pesquisas Eldorado · Junho 2022 – Presente
Manaus, AM, Brasil
  • Integração de Modem & Baseband: Integração de firmwares e chipsets proprietários de modem (Qualcomm e MediaTek) durante atualizações do Android Core OS, adaptando as entregas dos fabricantes (vendors) à arquitetura customizada dos dispositivos Motorola.
  • Depuração de Protocolos de Baixo Nível: Investigação e resolução de anomalias de sincronização e temporização entre o processador de aplicação (AP) e o processador de modem (BP) nas camadas RIL, IMS e rádio (4G/5G) utilizando C e Java.
  • Certificação 3GPP (GCF e PTCRB): Condução e suporte técnico a testes de conformidade 3GPP, assegurando a homologação de software de modem para programas de lançamento global de smartphones.
  • Estabilidade de Modem & Análise de Ramdumps: Investigação e resolução de travamentos e panics silenciosos de modem (*silent panics*) por meio de análise pós-morte em volcados de memória (ramdumps), identificando causas-raiz e implementando correções de estabilidade para software de produção.

Desenvolvedor de Firmware e Sistemas Embarcados

Instituto Centro de Pesquisa e Desenvolvimento em Tecnologia de Software - Grupo ICTS · Out. 2021 – Maio 2022
Manaus, AM, Brasil
  • Firmware Bare-Metal ARM: Desenvolvimento de firmware bare-metal de alto desempenho para microcontroladores STM32 (ARM Cortex-M), utilizando CMSIS e drivers de baixo nível para otimizar uso de memória e ciclos de CPU.
  • Integração em Nível de Registradores: Programação e controle de barramentos físicos de comunicação (I²C, UART, SPI) via manipulação direta de registradores periféricos, construindo máquinas de estados de hardware robustas.
  • Abstração de Hardware: Criação de bibliotecas modulares em linguagem C, gerando componentes HAL limpos, portáveis e reutilizáveis para a família STM32.
  • Conectividade sem Fio: Integração de interfaces de comunicação LoRaWAN em plataformas ESP32 utilizando PlatformIO e comandos AT para telemetria sem fio de ultra-baixo consumo.

Pesquisador e Desenvolvedor Bolsista em Sistemas Embarcados

Universidade Federal do Amazonas (UFAM) · Maio 2020 – Set. 2021
Manaus, AM, Brasil
  • Pesquisa e Desenvolvimento em ARM: Atuação em projeto cooperativo de P&D (CETELI/UFAM, Grupo ICTS e TPV), unindo desenvolvimento de hardware e firmware de baixo nível para dispositivos IoT industriais.
  • Engenharia de Firmware com RTOS: Desenvolvimento de firmware multitarefa em tempo real utilizando FreeRTOS em microcontroladores ARM, gerenciando processos concorrentes críticos como sistemas de gerenciamento de bateria (BMS) e processamento de áudio de baixa latência.

Desenvolvedor de Software de Telecomunicações

INDT (antigo Instituto Nokia de Tecnologia) · Abr. 2012 – Maio 2015
Manaus, AM, Brasil
  • Otimização de Desempenho: Perfilamento e análise de gargalos de código para maximizar a velocidade de execução de ferramentas analíticas de simulação em telecomunicações.
  • Modelagem de Protocolos de Rede: Engenharia de simuladores discretos de eventos modelando a troca de mensagens em camadas de rede de telecomunicações.
  • Prototipagem Virtual: Simulação computacional de protocolos customizados de comunicação, avaliando requisitos de latência e vazão nos primórdios da padronização 5G.
  • Modelagem Energética: Benchmarking de consumo elétrico de componentes móveis e modelagem matemática de perfis de drenagem de bateria em dispositivos portáteis.

Habilidades Técnicas

</> Linguagens de Programação

ANSI C/C++ Python Java C# Assembly (ARM) Lua TypeScript / Node.js

⚡ Embarcados & Sistemas

ARM Cortex-M CMSIS FreeRTOS Firmware Bare-Metal Device Trees Android RIL / IMS Análise de Ramdumps

🛠 Ferramentas & IA Agêntica

Git GCC / Toolchains PlatformIO STM32CubeIDE Gemini CLI (Diagnósticos) Model Context Protocol (MCP) Agentes & Ferramentas LLM

📡 Protocolos & Interfaces

3GPP (5G NR / 4G LTE) I²C UART SPI LoRaWAN HIDL / AIDL MQTT

Formação & Artigos Científicos

Faculdade Martha Falcão - Wyden
Bacharelado em Engenharia Elétrica
Previsão 2027 · Manaus, AM
Universidade Federal do Amazonas (UFAM)
Bacharelado em Engenharia Elétrica (Créditos Transferidos)
2018 – 2022 · Manaus, AM
Fundação Nokia de Ensino
Curso Técnico em Telecomunicações
2009 – 2011 · Manaus, AM

Artigos Publicados em Conferências Internacionais IEEE

Sistema de Medição de Nível de Pressão Sonora em Linha de Produção Industrial usando Plataforma STM32

Primeiro Autor
2022 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW)
Julho de 2022 · Parceria cooperativa de P&D entre UFAM (CETELI), Grupo TPV (Envision) e Grupo ICTS

Desenvolvimento de biblioteca de firmware em linguagem C para microcontroladores STM32 (ARM Cortex-M), executando amostragem contínua de ondas de pressão acústica, filtragem de ponderação A (dBA) e cálculo de valores eficazes (RMS) em tempo real ao longo de linhas ativas de manufatura de eletrônicos.

Ver publicação no IEEE Xplore →

Projeto e Implementação de Biblioteca de Software para Nós Sensores e Atuadores em IoT Industrial

Coautor · Desenvolvedor Principal
2022 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW)
Julho de 2022 · Parceria cooperativa de P&D entre UFAM (CETELI), Grupo TPV (Envision) e Grupo ICTS

Engenharia de uma biblioteca modular em linguagem C de baixo consumo de recursos para nós sensores e atuadores heterogêneos na Indústria 4.0, padronizando o controle em nível de registradores periféricos (I²C, SPI, UART) e o processamento de telemetria em tempo real no chão de fábrica.

Ver publicação no IEEE Xplore →

Sistema Inteligente de Irrigação e Monitoramento de Jardim em Aplicação Multiplataforma usando IoT

Coautor
2021 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW)
Setembro de 2021 · Parceria entre a Universidade Federal do Amazonas (UFAM) e a Samsung

Projeto de rede de sensores IoT e interface multiplataforma de software para monitoramento de umidade de solo e acionamento automatizado de válvulas de irrigação com telemetria em tempo real.

Ver publicação no IEEE Xplore →

Sistema VoIP para TV Digital utilizando Ginga-NCLua

FEBRACE 10 (Feira Brasileira de Ciências e Engenharia) & VI FECITEC
2012 · Fundação Nokia de Ensino · Protocolos de telefonia no middleware Ginga para TV Digital (SBTVD)