My name is Obi Obetta.
I am a master's student in Electrical and Computer Engineering at the University of Colorado Boulder (Class of 2028). My main interests are in formal verification, computer architecture, digital design, and hardware correctness. I also post short-form content about hardware/low-level concepts on Instagram and on Twitter/X.
The personal site you are viewing right now, migrated from vanilla HTML/CSS/Bootstrap to Astro with TypeScript.
Created December 2022 · Rebuilt 2026
View Project
An open-source tool that batch converts email attachments. My primary roles included creating a GNUMakefile to package for Mac, Windows, and Linux, and formatting the website using Emacs Org Mode.
Onboarded June 2023
View ProjectHow can computers see? Specifically how can it identify text, written or typed, from a captured image? How can it improve to recognize handwritten text with various idiosyncrasies?
How can machines understand and even generate complex implicit semantic information like sarcasm, poetry, or double entendres?