Investigación matemática y arquitecturas de sistemas distribuidos para ajedrez, damas 8x8 y backgammon estocástico.
Análisis exhaustivo del diseño de motores de ajedrez modernos: representación bit a bit, cálculo branchless de ataques con Magic Bitboards, optimizaciones de búsqueda alfa-beta y funciones de evaluación NNUE cuantizadas.
Cómo Jonathan Schaeffer y el equipo de Chinook resolvieron débilmente el juego de damas 8x8 mediante búsqueda con números de prueba y bases de datos retrógradas de finales de 10 piezas.
Modelado matemático del backgammon como un proceso de decisión de Markov absorbente, árboles de expectativa minimax, teoría del cubo de doblar y verificación criptográfica de dados con HMAC-SHA256 Commit-Reveal.