Intereses y experiencia

Tengo un profundo interés en la programación correcta. Realicé mi tesis de licenciatura en el campo del Análisis de Programas en colaboración con Oracle Labs Australia. Desde que me incorporé a Supra, mi interés se ha desplazado más hacia los Sistemas Distribuidos. Mi investigación se ha centrado en gran medida en los protocolos bizantinos tolerantes a fallos, incluidos los protocolos para la replicación de máquinas de estado y la difusión verificable de datos.

Comentario

Mi trabajo en Supra se centra principalmente en el desarrollo de algoritmos y protocolos novedosos para su aplicación en nuestros sistemas distribuidos. Esto incluye investigar el estado actual de la técnica, innovar nuevos diseños y materializarlos en especificaciones formales. Convierto estas especificaciones en implementaciones de prueba de concepto y las utilizo para evaluar nuestros diseños. También colaboro con el equipo de Ingeniería para integrar nuestro trabajo en los sistemas de producción de Supra.

Selección de publicaciones de investigación