# Arash Sahebolamri

> Software Engineer at Fortanix

Location: Sunnyvale, California, United States
Profile: https://flows.cv/arashsahebolamri

I completed my PhD of Computer Science at Syracuse University. My research background and interests include Formal Methods, Verification, Program Analysis, and Programming Language Design (which I'm most passionate about). For my Master's degree, I implemented a theorem prover for a logic that was a combination of Modal and Temporal Logics. I'm currently, with the help of my advisor, working on designing and implementing a Datalog-like language suitable for tasks like program analysis and symbolic execution. I previously worked on using Isabelle to write formal proofs about properties of a BootLoader developed here at SU. I also have experience with the Alloy specification language, which I used to model the Genode OS Framework + the seL4 microkernel.

## Work Experience
### Senior Software Engineer @ Fortanix
Jan 2023 – Present | Santa Clara, California, United States

### Software Developer @ Dena E-Commerce
Jan 2015 – Jan 2016

### Software Developer @ Iran Infotech Development Co
Jan 2010 – Jan 2014 | Tehran, Iran
Designed and implemented a digital signage software system, which was comprised of a screen designer, a server component, a content distribution component, a client component, and a management application. I used .Net and C# to develop this system.


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

### Master of Science - MS in Computer Software Engineering
Sharif University of Technology

### Bachelor of Science - BS in Computer Software Engineering
Iran University of Science and Technology


## Contact & Social
- LinkedIn: https://linkedin.com/in/arash-sahebolamri

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