Mohammad Tehrani
Research Assistant at Simon Fraser University
British Columbia, Canada
Summary
🤩
Rockstar🎓
Top SchoolMohammad Tehrani is a research-oriented software engineer and PhD candidate in Computer Science at Simon Fraser University with eight years of practical experience across compiler internals, backend systems, and mobile/web development. He designs and implements an extensible dynamic symbolic execution engine for Rust, customizes the Rust compiler for instrumentation and contributes to rust-lang/rust by exposing foreign-item metadata into stable MIR—work that bridges deep compiler theory with practical toolbuilding. His background includes formally verified systems work (a Dafny-modeled network stack integrated into AOSP) and research into LLM-driven vulnerability detection, reflecting a rare mix of formal methods and applied security. Comfortable shipping production systems from Django backends to cross-platform mobile apps, he is continually searching for opportunities to push program analysis and compiler tooling further.
8 years of coding experience
3 years of employment as a software developer
Undergraduate Computer Engineering, Undergraduate Computer Engineering at Sharif University of TechnologyDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Simon Fraser University
Stackoverflow
1,917reputation
152kreached
63answers
14questions
Github Skills (19)
compiler-development10
mir10
internals10
intermediate10
ff10
ffi10
rust10
mi10
lang9
compiler-compiler9
compiler9
entity-framework6
android6
expression-trees6
kotlin6
Programming languages (18)
Github contributions (5)
rust-lang/rust
May 2023 - Jan 2025
Empowering everyone to build reliable and efficient software.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 3 PRs, 17 comments in 1 year 9 months
Contributions summary:Mohammad primarily contributed to the `rust-lang/rust` repository by adding and modifying APIs for fetching and interacting with foreign items, including modules, their ABIs, and related definitions. The changes involved deep integration with the compiler internals, particularly the `rustc_smir` and `stable_mir` crates, to expose and manipulate foreign item metadata. These changes facilitate access to and analysis of external code within the Rust compiler's stable MIR representation. The user also extended the tests for intrinsics definitions.
crategarbage-collectionrustreliablecompiler
momvart/rust
Jan 2024 - Mar 2025
Empowering everyone to build reliable and efficient software.
Contributions:20 pushes, 5 branches in 1 year 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.