Radames Cruz
Senior Research Software Development Engineer at Microsoft
Renton, Washington, United States
Summary
👤
SeniorRadames Cruz is a Senior Research Software Development Engineer with 11 years of experience building production-grade software at Microsoft from Renton, Washington. He combines strong software design and UML skills with deep .NET, XML, and Agile practice to deliver robust, testable systems. At Microsoft he has bridged research and engineering, contributing to platform-grade projects and shipping maintainable builds. An active open-source contributor, he helped port and bootstrap Microsoft SEAL for Android—setting up Gradle builds, Android unit/instrumented tests, and ProGuard optimizations—bringing homomorphic encryption closer to mobile platforms. Known for pragmatic design and attention to test infrastructure, he focuses on making complex research code production-ready.
10 years of coding experience
Github Skills (8)
gradlew10
android-development10
gradle10
proguard9
encryption8
cryptography8
java7
javas7
Programming languages (5)
Github contributions (5)
microsoft/SEAL
Apr 2020 - Jan 2023
Role in this project:
Mobile Developer (Android)
Mobile Developer (Android)Contributions:103 commits, 4 comments in 2 years 9 months
Contributions summary:Radames's primary contributions involve the initial development of the Microsoft SEAL library for Android. This includes setting up the build environment using Gradle, creating instrumented and unit tests for Android, and configuring ProGuard rules for code optimization. The user also added the necessary files and dependencies for Android build.
encryption-librarymicrosoftfhesecurersa
microsoft/oZKS
Dec 2021 - Aug 2022
oZKS (Ordered Zero-Knowledge Set) is a library that provides an implementation of an Ordered (and Append Only) Zero-Knowledge Set.
Contributions:69 commits, 2 PRs, 10 pushes in 8 months
zerosyscallknowledgezero-knowledgehash-table
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.