Adrian Palacios
Washington, District of Columbia, United States
Summary
🤩
RockstarAdrian Palacios is an Applied Scientist at Amazon Web Services with a PhD in Computer Science and five years of experience applying formal methods and programming languages research to production-grade automated reasoning tools. Based in Washington, D.C., he contributes to the Kani Rust Verifier as a back-end developer and automation engineer, adding low-level memory and bitwise intrinsics and strengthening cross-platform CI/CD via GitHub Actions. His background spans academic research and industry, including visiting researcher stints in Europe and Japan and an SDE internship at AWS, which gives him a rare blend of rigorous formal foundations and pragmatic engineering. Colleagues value his ability to translate complex verification concepts into maintainable tooling that scales across operating systems.
5 years of coding experience
Github Skills (12)
automated-tests10
cin10
github-ci10
intrinsics10
rust10
continuous-integration10
githubaction-workflow10
model-checking10
build-automation10
makefile9
verification9
code-generation9
Programming languages (10)
Github contributions (5)
model-checking/kani
Apr 2021 - Jan 2023
Kani Rust Verifier
Role in this project:
Back-end Developer & Automation Engineer
Back-end Developer & Automation EngineerContributions:1127 reviews, 176 commits, 523 PRs in 1 year 9 months
Contributions summary:Adrian primarily contributed to the development and enhancement of the Kani Rust Verifier project, as seen through their work on implementing and testing intrinsics related to memory and bitwise operations. This included adding support for features like `raw_eq` and `bitreverse`. Moreover, the user was responsible for setting up and improving the CI/CD pipeline by implementing and integrating GitHub Actions workflows, particularly those related to copyright checks and enabling builds on multiple operating systems.
rustmodel-checkingverification
adpaco-aws/aws-encryption-sdk-c
Oct 2020 - Apr 2021
AWS Encryption SDK for C
Contributions:106 pushes, 22 branches in 6 months
encryptionsdkaws-sdkaws
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.