Senior Software Engineer at Xmartlabs, focused on mobile platforms, backend systems, and applied formal verification.

• Senior Software Engineer at Xmartlabs, building and shipping production software since 2018
• Computer Engineering graduate, Universidad de la Republica (Udelar), completed in 2024
• Research Assistant (Udelar), formal verification project, 2023-2025
• Conference presenter and co-author at VSTTE 2025

• Cross-platform mobile apps (Android, Flutter)
• Backend services (Node.js, FastAPI, Supabase)
• Hardware/software integrations (BLE, POS devices, printers)
• Real-time features (WebSocket, push-driven workflows)
• Mobile and browser ML integrations (TensorFlow Lite)

• Built and maintained production mobile applications for healthcare, hiring, and wearable-integrated products.
• Implemented BLE communication and YMODEM file transfer for real-time interaction with wearable devices.
• Delivered backend improvements including auth flows, chat-related APIs, schema migration strategies (ORM + Alembic), and observability setup (Langfuse).
• Implemented Supabase RLS and Edge Functions for secure business-rule enforcement.
• Built mobile ML experiences with TensorFlow Lite, camera pipelines, and performance-oriented asynchronous processing.

• Implemented cashless payments with MIFARE Classic cards on POS devices (Symcode, Z93).
• Added receipt printing with ESC/POS, driver-level integration, and printer protocol handling.
• Implemented laser-printer sticker workflows for event operations in a separate app.

• Verified Haskell programs using LiquidHaskell refinement types.
• Proved structural invariants, complexity bounds, and safety properties.
• Compared expressiveness and tradeoffs between LiquidHaskell and Why3.
• Co-authored and presented at VSTTE 2025.

Kotlin Android Jetpack Compose RxJava Realm Flutter Dart
Node.js FastAPI Supabase PostgreSQL Alembic Terraform
TensorFlow Lite CameraX BLE WebSockets Langfuse
Haskell LiquidHaskell Why3

• Verifying the Functional Correctness of Braun Trees with LiquidHaskell
  VSTTE 2025 (October 6-7, 2025)
  https://systemf.epfl.ch/etc/vstte2025/

• LinkedIn: https://www.linkedin.com/in/felipe-de-le%C3%B3n/
• Email: [email protected]