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).
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.
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.
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ória14 Zonas
TemporizaçãoBoxes A–E
InterfaceServidor MCP Stdio
Busca em GrafosServidor MCPxxHash64Esquemas ZodNode.js 22 LTSDeterminístico
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 HTTP0 em Execução
Pacotenpm: 14.0 kB
Model Context ProtocolSQLite WALBusca FTS5Air-GappedEsquemas ZodPacote npm
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.
ConsensoBayesiano Ponderado
FontesYGOPD / YGM / RotK
Pacotenpm: 19.9 kB
Model Context ProtocolConsenso BayesianoSQLite WALMultifontesEsquemas ZodPacote npm
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.
3GPP (5G NR / 4G LTE)I²CUARTSPILoRaWANHIDL / AIDLMQTT
Base Acadêmica
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.
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.
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.