Meet Our Team
Juan José Serrano Mora
Backend Developer & Formal Verification Specialist
TLA+ Specification
Backend Development
Protocol Design
Alejandro Benito
Systems Architect & Documentation Lead
System Architecture
Technical Documentation
LaTeX & PlantUML
Jackson Belzer
Implementation Lead & Testing Coordinator
Implementation
Testing & Validation
Christian Lamb
Quality Assurance & Integration Specialist
Quality Assurance
System Integration