Hello, I am Hamed Gorjiara

I am studying Ph.D. in the Department of Electrical Engineering and Computer Science at the University of California, Irvine. I am working with my advisor, Professor Brian Demsky, in the Programming Language Research Group. Recently, I was interning at Google as a software engineer working on testing Google Cloud Platform.

My research focuses on:
   Testing and model checking frameworks
   Software design and compiler


Go to next/previous page

Work Experience

  • Graduate Student Reseacher at UC Irvine
    September 2016 - Current

    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.

  • Founder of Master Gig
    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 setting up 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.

  • Java instructor at ACM branch of University of Tehran
    July 2016 - August 2016

    Teaching Java from beginner to advanced level in the summer workshop organized by ACM branch of University of Tehran. For getting the materials click on this link

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

Go to next/previous page


Honors and Awards

  • My Ph.D. projects awarded Half-Million Dollars by National Science Foundation (NSF)

  • Awarded certificates in Network, Machine Learning, Artificial Intelligence, and Data Science from Google

  • Awarded certificates in React, React Native, Redux, Node.js, and Javascript from codewithmosh.com

  • Three year full financial Support from National Science Foundation of USA

  • Ranked first on UCI Kaggle Machine Learning competition to predict rainfall from satellite pictures

  • Two year full financial support form UC Irvine

  • Ranked 2nd among HW students in University of Tehran

  • Exempted from M.Sc. uni entrance exam as an exceptional-talent student

  • Ranked 612th among more than 220,000 participants (top 0.2%)

    Iranian nationwide university entrance exam

  • Semi-finalist in Iranian National Olympiads of Astronomy and Physics and Computer

  • Semi-finalist in Iranian National Olympiads of Math and Computer

Selected College Project

  • Peripheral computer system and drivers project
    Spring 2015

    Assembled a step-counter and a USB module on a circuit board and developed software to read the data from USB driver

  • Hardware/Software co-design project
    Spring 2015

    Profiling the implementation of Logarithm, Square, and Exponent algorithm in both software and synthesized hardware is done in order to measure its improvement Using Quartus and soft core processor (NIOS) synthesized on Altera DE2.

  • Compiler for COOL object oriented language | Design and Implementation of Compilers
    Fall 2014

    Using Java and Antlr

  • House Light Managing | Microprocessor - Final Project
    Spring 2014

    Designed and developed a hardware board to sense ambient light and adjust the output light accordingly. | nominated as top 5 best among 40 projects by IEEE Project Award

  • Pipelined MIPS processor | Computer Architecture - Project
    Spring 2014

    This processor is capable of hazard detection and data forwarding. It is implemented in Verilog HDL and is also tested on Altera DE2 board.

  • Project Manager System (like Trello) | Distributed and Multi-Threaded Programming
    Spring 2013

    Developed a distributed/multi-threaded project management software. The clients were written in QT/C++, and the backend service was written in C++.

Technical Skills

  • Languages:

      Web Development:


    Project Management:


    Data Base:


    Operating Systems:




Contact info

Feel free to use one of the following ways to contact me: