# Salar Moarref

> Staff TLM at Aurora

Location: San Francisco Bay Area, United States
Profile: https://flows.cv/salar

My life obsession is to learn as much as I can about design and analysis of distributed autonomous and intelligent systems. Nothing excites me more than building a complex and smart system from scratch. I am particularly interested in automated design methods for safe and reliable distributed systems. My background is in formal methods, cyber-physical systems, planning and decision making, artificial intelligence and robotics.

## Work Experience
### Staff Software Engineer, TLM @ Aurora
Jan 2023 – Present

### Staff Software Engineer, TL @ Aurora
Jan 2022 – Jan 2023

### Senior Software Engineer @ Aurora
Jan 2021 – Jan 2022 | San Francisco Bay Area

### Senior Software Engineer @ Uber Advanced Technology Group
Jan 2019 – Jan 2021 | San Francisco, CA, United States

### Postdoctoral Associate @ Cornell University
Jan 2016 – Jan 2019 | Ithaca, New York
Postdoctoral associate at Verifiable Robotics research group. My research focus is on developing algorithms and tools for automated synthesis of decentralized programs for distributed swarm robotic systems.

### Co-op @ Toyota
Jan 2014 – Jan 2014
Studied, implemented, and evaluated recent algorithms and methods for ensuring safety and correctness of automotive powertrain systems.


## Education
### Doctor of Philosophy (Ph.D.) in Computer Science
University of Pennsylvania

### Bachelor of Science (BS) in Computer Engineering (Software engineering)
Sharif University of Technology


## Contact & Social
- LinkedIn: https://linkedin.com/in/salar-moarref-632b6579

---
Source: https://flows.cv/salar
JSON Resume: https://flows.cv/salar/resume.json
Last updated: 2026-04-12