Software developer specialized in low-level system architectures, distributed systems, embedded computing, and cloud infrastructure. Creator of multiple software and systems projects spanning code generation, developer tools, automation, and connected platforms. His work focuses on security, software verification, and building systems that can operate reliably in production. His areas of expertise include software engineering, language engineering, code generation, and cyber-physical systems, primarily using Python and Rust. He is a technical instructor, open-source mentor, and community speaker.

Desarrollador de software especializado en arquitecturas de sistemas de bajo nivel, sistemas distribuidos, computación embebida e infraestructura cloud. Creador de diversos proyectos de software y sistemas que abarcan generación de código, herramientas para desarrolladores, automatización y plataformas conectadas. Su trabajo se centra en la seguridad, la verificación de software y la construcción de sistemas capaces de operar de forma confiable en producción. Sus áreas de trabajo incluyen ingeniería de software, ingeniería de lenguajes, generación de código y sistemas ciberfísicos, principalmente con Python y Rust. Es instructor técnico, mentor open-source y ponente en eventos de la comunidad tecnológica.