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).

Experience

FortanixSenior Software Engineer

2023 — Now

Santa Clara, California, United States

Dena E-CommerceSoftware Developer

2015 — 2016

Iran Infotech Development CoSoftware Developer

2010 — 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

Syracuse University

Doctor of Philosophy (Ph.D.)

Sharif University of Technology

Master of Science - MS

Iran University of Science and Technology

Experience

Education

Doctor of Philosophy (Ph.D.)

Master of Science - MS

Bachelor of Science - BS