Work Experience

• Software Engineering at Google

  June 2022 - Current

  Developing the next-generation verification software in Google Cloud to automatically detect anomalies and recommend the corresponding solutions to avoid outages. This framework leverages AI to correlate events and patterns of monitoring incidents to their root cause. In addition, I designed and developed a novel E2E testing language with automated load testing, enhancing system robustness and increasing the productivity of the developers.

• Graduate Student Researcher at UC Irvine

  September 2016 - June 2022

  I developed an efficient model checker and test framework for persistent memory programs, called Jaaru. This tool simulates the processor and lazily explores executions to identify concurrency and persistent bugs. Also, I implemented a test framework verifying the c++ compiler's optimizations do not cause crash consistency bugs in persistent memory programs. These tool can be used in verifying in-memory databases, transnational libraries, file systems, and etc. It is written in C/C++ and the LLVM compiler is used to automatically annotate memory accesses. Also, I implemented an optimization framework, Satune, for solving constraints captured as similar-linear expressions in a domain-specific language (DSL), and converting them to a Boolean Satisfiability problem optimized for fast execution. This framework written in 20000 lines of C++ code with advanced features such as guided parallel parameter tuning using Machine Learning techniques.

• Software Engineering Intern at Google

  September 2021 - Dec 2021

  Designed and implemented a platform to simulate and verify reachability among two instances in Google Cloud Network without physically transferring internet packets between them. The project aimed to automatically test firewall and routing misconfigurations in the large-scale Google Cloud Network and suggest the correct configurations to the users. My contributions include backend development, API design, unit testing, and integration testing with Google's internal tools.

• Co-founder of iPlanX

  January 2020 - Current

  Developing a cloud-based website and mobile applications for promoting events, and booking entertainment service providers such as DJs, artists, etc. My contributions include developing a website and database on the cloud, designing the database and website's APIs, and developing both backend and frontend of the website. Technologies: AWS, Lambda, dynamoDB, NodeJS, React, React-Native, Jest, Redux.

• Web Developer at Research Institute of University of Tehran

  July 2014 - July 2016

  Contributed to development of a large scale enterprise web application for National Customs. The application is used for customs declarations, obtaining permits, monitoring/tracking cargo transportation, and reporting anomalies and unexpected events(Single Window). It also provides integration APIs and services for transportation, insurance and tax companies. My contributions include web UI development, back-end service development, and database query development.
  Technologies used during this project: MVC framework (Wicket), object-relational mapping frameworks (Hibernate), NoSQL databases ( Cassandra), Java, JavaScript, CSS, JSON.