Abdalrhman Mohamed
Graduate Research Assistant
Palo Alto, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAbdalrhman Mohamed is a research-driven software engineer and PhD candidate at Stanford with five years of experience building and optimizing automated reasoning tools, SMT solvers, model checkers, and program synthesis pipelines. He has applied formal methods at scale during internships and roles at AWS—where he implemented certified proof checkers, a high-performance proof optimizer, and accelerated Rust model-checking tests—and contributed QA/test automation to the Kani Rust Verifier project. His work uniquely bridges deep theoretical foundations and pragmatic engineering: translating and certifying UF proofs in Lean and squeezing multi-threaded caching to speed test suites sixfold. Based in Palo Alto, he combines rigorous academic research with hands-on systems improvements that substantially shorten verification turnaround times.
4 years of coding experience
3 years of employment as a software developer
Masters of Computer Science Computer Science, Masters of Computer Science Computer Science at University of IowaDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Stanford University
Arabic, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (4)
verification10
rust10
model-checking10
test-automation10
Programming languages (3)
Github contributions (5)
model-checking/kani
May 2021 - Aug 2021
Kani Rust Verifier
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:61 reviews, 16 commits, 24 PRs in 3 months
Contributions summary:Abdalrhman's contributions primarily involved improving and expanding regression tests within the Kani Rust Verifier project. They added new tests and assertions, addressing specific issues and clarifying the behavior of the verifier. The code changes include modifications to existing tests and the addition of new test cases, specifically targeting areas like floating-point arithmetic, enums, and pointer manipulation. The user also moved tests to compiletest framework.
model-checkingrustverifierverificationrust-lang
bdalrhm/rmc
May 2021 - Aug 2021
Contributions:76 pushes, 56 branches in 2 months
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.