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
Graduate Student Reseacher at UC IrvineSeptember 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 GoogleSeptember 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 GigJanuary 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 TehranJuly 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 TehranJuly 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.
ResumeDownload My Resume
University Of California, Irvine (UCI)2018 - Now
Ph.D in Computer Engineering | EECS Department
GPA: 4.0/4.0 | Expected Graduation: December 2021
University Of California, Irvine (UCI)2016 - 2018
M.S. in Computer Engineering | EECS Department
University Of Tehran2012 - 2016
Bachelor of Science, Computer Engineering | ECE Department
GPA: 17.2/20.0 (3.7/4.0)
Salam Zeynoddin High SchoolJune 2011
Diploma, Mathematics and Physics Discipline
GPA: 19.65/20 (4.0/4.0)
Honors and Awards
Awarded certificates in Network, Machine Learning, Artificial Intelligence, and Data Science from Google2020
Three year full financial Support from National Science Foundation of USA2018
Ranked first on UCI Kaggle Machine Learning competition to predict rainfall from satellite pictures2017
Two year full financial support form UC Irvine2016
Ranked 2nd among HW students in University of Tehran2016
Exempted from M.Sc. uni entrance exam as an exceptional-talent student2016
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 Computer2010
Semi-finalist in Iranian National Olympiads of Math and Computer2009
Selected College Project
Peripheral computer system and drivers projectSpring 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 projectSpring 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 CompilersFall 2014
Using Java and Antlr
House Light Managing | Microprocessor - Final ProjectSpring 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 - ProjectSpring 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 ProgrammingSpring 2013
Developed a distributed/multi-threaded project management software. The clients were written in QT/C++, and the backend service was written in C++.