Arash Sahebolamri
Senior Software Engineer at Fortanix
Sunnyvale, California, United States
Summary
👤
Senior🎓
Top SchoolArash Sahebolamri is a Senior Software Engineer with 11 years of experience, combining industry software development with deep academic research in program analysis, formal methods, and programming language design. He holds a PhD in Computer Science from Syracuse University where he built formal proofs with Isabelle and is developing a Datalog-like language for symbolic execution and program analysis. His background spans implementing theorem provers and modeling OS frameworks (Genode + seL4) with Alloy, plus commercial software engineering in digital signage and e-commerce systems. Now based in Sunnyvale and working at Fortanix, he brings a rare blend of practical system-building and formal verification expertise, comfortable moving from .NET/C# production systems to research-grade language tooling.
11 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Syracuse UniversityBachelor of Science - BS, Computer Software Engineering, Bachelor of Science - BS, Computer Software Engineering at Iran University of Science and TechnologyMaster of Science - MS, Computer Software Engineering, Master of Science - MS, Computer Software Engineering at Sharif University of Technology
Persian, English
Github Skills (93)
lattice10
ber10
tee10
visual-studio10
rust-lang10
combinatorics10
datalog10
webcam10
editor10
compiler10
rust10
logic10
electron10
typescript10
vscode-extension10
Programming languages (6)
Github contributions (5)
s-arash/TasksJava
Aug 2015 - Jan 2016
Contributions:12 commits, 13 pushes, 4 branches in 5 months
s-arash/ascent
Sep 2021 - Jan 2023
Logic programming in Rust
Contributions:44 reviews, 101 commits, 44 PRs in 1 year 4 months
logic-programmingrustdeclarative-languagelatticecombinatorics
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.