I'm Omar Elamri, an aspiring, young software developer offering 9
years of experience engineering software for both enterprise and
educational organizations. I have a deep background in iOS and web
application development—an innovator with deep knowledge in
latest industry trends and advancements.
-
Violet
We seek to create a service catering to small businesses
and non-professional workers that streamlines the hiring
process. On the job-seeking side, our new gesture-based UX
delivers an elegant and familiar experience that is tailored
towards a younger demographic in the job market. On the
employer-side, we offer an integrated model that allows them
to fill staffing availabilities. Small businesses typically
have a less advanced online profile; we take their
registered profile and automatically generate them a
website, configure their SEO, and provide other hosting
services.
Worked on with: Arish Antia,
Arya Gharib
and
Zhaomeng Chen
Key technologies used: SvelteKit, Cloudflare (Pages,
Workers, D1, R2), Drizzle, Flowbite
-
Training Rabbits with Reinforcement Learning
We used reinforcement learning algorithms to train models
that play a simple 2D grid game. We achieved a high win rate
of 87% using the deep Q-network algorithm, a convolutional
neural network, and dense rewards that encourage beneficial
behaviors while penalizing risky actions. We found that
environments with highly random rewards are challenging for
the methods that we tried and a well-designed reward
function is essential for good performance.
Worked on with:
Alexander Zhang,
Krishi Sabarwal and
Zhaomeng Chen
Key technologies used: OpenAI Gym, PyTorch, Stable
Baselines, DQN
-
Formal Verification of Compiled Binaries
Formal verification provides a high level of assurance but
comes with many drawbacks such as tooling, complex
semantics, and lots of manual work. We perform formal
verification on compiled binaries instead—using angr and the
z3 SMT solver. Our verifier aims to detect vulnerabilities,
verify correctness, support multiple architectures, and
provide cross-language support.
Worked on with: Jason An and
Alexander Zhang
Key technologies used: angr, z3, Python
-
OpenTalk
At OpenTalk, our mission is to empower those who struggle
in social situations through our AI-powered chatbot, which
uses AR to simulate and practice various stressful social
scenarios.
Worked on with:
Zhaomeng Chen
and
Arya Gharib
Key technologies used: Google Cloud Voice AI, OpenAI Davinci
GPT-3, ARKit
-
FoodScoop
Our project aims to strengthen the UCLA dining experience
by providing a better interface for dining menus,
nutritional information, and meal planning.
Worked on with:
Surya Subbarao, Weiqi Yu, Aminah Khan and
Arya Gharib
Key technologies used: React Native, Expo, MongoDB,
TypeScript Transformers
-
Digitr
Digitr is a digital student hallway pass app that provides
a smart, simple, scalable and convenient way of managing
student passes.
-
Full Circle
An app that connects in-need students to specialized
mentors. Used at Minnetonka Public Schools for their at risk
mentor-mentee program.
Key technologies used: React, Google Cloud Run, MongoDB
-
Horwitz
An inventory tracker that syncs on-site workers' needs with
the warehouse personnel.
Key technologies used: React, Google Cloud Platform,
MongoDB, PM2, Let's Encrypt
-
Sisyphus for the Rest of Us Web UI
An online program that converts regular images to vector
paths. Primarily used to export to
Sisyphus sand tables.
Key technologies used: Ionic Framework, Google Cloud
Platform, Java JRE
-
Research Project
Easing the facilitation and creation of scalable global
internet based applications
-
Cupcake
Cupcake: A simplistic game
