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.

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


Work

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

  • 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

Education

Honors and Awards

  • Awarded certificates for Machine Learning, Artificial Intelligence, and Data Science from Google
    2020

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

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

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

  • Two year full financial support form UC Irvine
    2016

  • Ranked 2nd among HW students in University of Tehran
    2016

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

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

    Iranian nationwide university entrance exam

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

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

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

Teaching Experience

  • Design and Analysis of Algorithm
    Fall 2015

    Head Teaching Assistant, Dr. Asadpour | University of Tehran

  • Introduction to Computing Systems and Programming
    Fall 2015

    Head Teaching Assistant, Dr. Hashemi and Dr. Moradi | University of Tehran

  • Algorithm
    Spring 2015

    Teaching Assistant, Dr. Sadjad | University of Tehran

  • Computer Architecture
    Spring 2015

    Teaching Assistant, Dr. Safari | University of Tehran

  • Microprocessor
    Spring 2015

    Teaching Assistant, Dr. Fatemi | University of Tehran

  • Introduction to Computing Systems and Programming
    Fall 2014

    Lab Assistant, Dr. Hashemi and Dr. Moradi | University of Tehran

  • Microprocessor
    Spring 2014

    Teaching Assistant, Dr. Fatemi | University of Tehran

  • Introduction to Computing Systems and Programming
    Fall 2013

    Grading Assistant, Dr. Hashemi and Dr. Moradi | University of Tehran

Technical Skills

  • Languages:

     
      C  
     
      C++  
     
      C#  
     
      Java  
     
      Python  
     
      VHDL  
     
      TypeScript  
     
      Javascript  
     
      Verilog  


    Web Development:

     
      PHP  
     
      Wicket  
     
      CSS  
     
      NodeJS  
     
      JQuery  
     
      Play  
     
      AngularJS  
     
      Tomact  
     
      JSP  
     
      Html  


    Project Management:

     
      Git  
     
      Maven  
     
      Subversion  
     
      Jira  
     
      Jenkins  


    Data Base:

     
      Hibernate  
     
      Cassandra  
     
      MySQL  
     
      PostgreSQL  


    Operating Systems:

     
      Windows  
     
      Kali  
     
      Ubuntu  


    Other:

     
      Junit  
     
      Selenium  
     
      Image Processing (OpenCV)  
     
      Intellij  
     
      Matlab  
     
      Photoshop  


Attended Workshop

  • Web Attack workshop in University of Tehran
    Teaching Assistant Training workshop in Uni Tehran
    Machine Vision workshop in Sharif University

Interests and Activities

  • Classic music, Movies and Series
    Volleyball, Travelling, Body Building


Contact info

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