Salar Moarref
Staff Software Engineer, TLM at Aurora
San Francisco Bay Area United States
Summary
👤
Senior🎓
Top SchoolSalar Moarref is a Staff Software Engineer specializing in the design and automated synthesis of safe, reliable distributed and autonomous systems, with eight years of industry experience bridging research and production. He holds a Ph.D. in Computer Science from UPenn and built formal-methods-driven tools for swarm robotics as a postdoc at Cornell, then applied those skills to safety-critical autonomy work at Uber ATG and Aurora. Salar excels at turning high-level specifications into practical, verifiable distributed implementations, particularly for systems with many unreliable agents. Based in the San Francisco Bay Area, he combines deep theoretical expertise in formal methods, planning, and cyber-physical systems with hands-on delivery of autonomous vehicle software at scale. An enduring curiosity for automated design and provable guarantees gives him a knack for simplifying complex distributed behaviors into auditable, deployable systems.
8 years of coding experience
6 years of employment as a software developer
Bachelor of Science (BS) Computer Engineering (Software engineering), Bachelor of Science (BS) Computer Engineering (Software engineering) at Sharif University of TechnologyDoctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at University of PennsylvaniaGithub contributions (2)
smoarref/GameSolver
Aug 2018 - Aug 2018
Contributions:15 commits, 14 pushes, 1 branch in 1 day
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.