Worked on strengthening safety and correctness in core systems, focusing on targeted bug fixes across the google/XNNPACK and golang/go repositories. Addressed a vulnerability in the XNNPACK concatenate operator by implementing input validation in C, ensuring all tensors share compatible dimensions and preventing out-of-bounds writes. In the Go crypto/tls package, resolved inaccurate LocalCertificate reporting for resumed TLS connections, updating logic to populate the field only when appropriate and enhancing test reliability by pinning TLS versions. Demonstrated proficiency in C and Go, with a focus on security, algorithm design, and robust testing to reduce production risk and improve code stability.