cv

Software Engineer II

Microsoft (M365 Copilot Researcher Homepage)

Software Engineer II at M365 Copilot Researcher Homepage

Software Engineer II

Microsoft (Skype Experimentation and Configuration Service)

Software Engineer at Skype Experimentation and Configuration Service

• Designed and implemented a new indexing system for the query engine, initially as a hackathon project, later put into production
• Performance improvements: 20%-33% latency reduction, 2.69%-30% CPU savings, 88% faster indexing, 66%-75% memory reduction
• Implementation included extensive unit tests and property-based testing using FsCheck
• Implemented Stitching, a feature for importing values from other configurations, reducing configuration management effort
• Implemented automation workflows to enhance on-call rotations

Professor

Escuela de Ciencias de la Computación e Informática (ECCI), Universidad de Costa Rica

Professor at the School of Computer Science and Informatics (ECCI)

• Taught Programming 2 and Parallel and Concurrent Programming
• Development tools and debugging: performance tuning with Callgrind, memory sanitization with Valgrind, debugging with GDB, build systems using CMake
• Modern C++ practices: functional programming techniques, smart pointers, and contemporary language features
• Collaboration methodologies: CI environments with strong unit tests and static verifiers, Git workflows, code reviews

Software Developer Engineer 2

Amazon

SDE2 at the Seller Support Tools team

• Used Angular, StencilJS, Javascript, Typescript and Java
• Achieved 2nd place in the internal PSAS hackathon for building a tool to analyze auditor feedback using NLP

Software Engineer

Hewlett Packard Enterprise (Aruba Networks)

Worked on networking operating systems and protocols

• Worked on multiple systems on networking operating systems, such as OpenSwitch and ArubaOS-CX
• Projects: OVSDB (dev/product owner), Port Blocking (dev/scrum master), Memory Profiling, L3 Resource Manager, BFD, Linux/Yocto, Counters/Statistics, 32 to 64 bits porting
• Used C, C++, Go, Python, Bash
• Several contributions to open source Open vSwitch project, mostly on OVSDB core

Course Assistant

Universidad de Costa Rica

Assistant for Computational Paradigms course

• Assistant for “Computational Paradigms” course

Research Assistant

Centro de Investigaciones Geofísicas (CIGEFI), Universidad de Costa Rica

Developed tools for processing and analyzing meteorological data

• Developed tools for processing and analyzing several terabytes of meteorological data using Go, Python, Bash, Matlab, C, Fortran and others
• Developed data visualization tools (HTML 5, AngularJS, Matplotlib)
• Used GIS tools such as QGIS

Math Olympiad Tutor

Colegio Monterrey

Tutor for the Costa Rican Math Olympiad team

PhD

Universidad de Costa Rica

Computer Science

• Posgrado en Computación e Informática

MS

Universidad de Costa Rica

Computer Science

Undergraduate

Universidad de Costa Rica

Computer Science

Hypersolid: Emergent Vision Representations via Short-Range Repulsion

arXiv

A recurring challenge in self-supervised learning is preventing representation collapse. Hypersolid uses short-range hard-ball repulsion to prevent local collisions, resulting in a high-separation geometric regime that preserves augmentation diversity.

From cart to truck: meaning shift through words in English in the last two centuries

arXiv

Onomasiological study using diachronic word embeddings to explore how different words represented the same concepts over time, using historical word data from 1800 to 2000.

Teaching SQL New Tricks: Efficient Vector Indexing with Trigrams

JAIIO, Jornadas Argentinas de Informática

Novel approach that utilizes existing trigram indexes within SQL databases to efficiently manage vector embeddings, offering a practical solution for integrating advanced vector-based queries into existing database systems.