Selección de trabajos de ingeniería, donde las restricciones se convierten en parte del diseño en lugar de una consideración tardía.
Proyectos en los que he trabajado.
Trabajo a través de placas, circuitos y máquinas autónomas, moviéndome entre la ingeniería de precisión y la cuestión más amplia de qué debería posibilitar un sistema.
Enrutamiento de alta densidad y formatos flexibles.
Periodo / Rol
VERANO 2025 / LABORATORIO DE HARDWARE
Un periodo de prácticas en diseño de hardware centrado en la planificación de apilamientos, enrutamiento HDI y gestión de restricciones físicas complejas en espacios reducidos.
Periodo / Rol
VERANO 2025 / LABORATORIO DE HARDWARE
Comportamiento de conmutación, verificado desde todos los ángulos.
Simulaciones de gestión de energía utilizando interruptores de banda prohibida ancha y componentes magnéticos, sometidos a pruebas rigurosas en condiciones transitorias, de CA y CC.
Propulsión y navegación para vehículos submarinos.
Trabajo de ingeniería que combina el diseño de hélices, pruebas de empuje y programación de navegación para la exploración submarina autónoma.
Transferencia exacta de archivos mediante luz.
Un sistema óptico nativo del navegador que procesa los datos localmente, declara los límites del protocolo y separa la evidencia digital de las pruebas físicas con cámara.
Un solver postflop que mantiene el registro honesto.
Un banco de trabajo Rust/WASM para análisis heads-up postflop, replay exacto de manos, caché local y recomendaciones que se cierran cuando falta evidencia del rival.
Comunicación efímera sin una bandeja de entrada permanente.
Un sistema de comunicación uno a uno en el navegador basado en invitaciones breves, WebRTC directo verificado y estados de fallback explícitos.
Decisiones que muestran su evidencia.
Una plataforma de inteligencia consciente de las fuentes para grados, programas, habilidades y lugares de estudio, con recibos firmados y exploradores en vivo acotados.
Un microscopio de navegador para la computación de modelos.
Un instrumento local en el navegador para medir trazas de modelos y separar tensores observados, intervenciones, rutas y mecanismos replicados.
Ejecución dispersa sin perder el estado observable.
Un compilador/runtime restringido para ejecución certificada de estados por eventos, con un fallback denso medido.
Vincular una entrada oculta con el comportamiento nativo.
Una línea de investigación de atestación RISC-V que conecta una entrada externa privada con ejecución nativa autenticada dentro de un modelo de monitor declarado.
Aquí aparecerán más proyectos a medida que estén listos para ser compartidos.
Continuar a laboratorios