Chicago, Illinois, United States
Software Engineering Enthusiast
Assisted with end-to-end formal verification effort for CVA6-CHERI Processor.
Core Markets Team, worked on automatically generating and testing codecs used in encoding and decoding messages sent between colocations.
Investigated the emulation of different USB device classes using different microcontrollers. Programmed RP2040 Plus and ESP32-S3 via various technology stacks including Arduino, low-level C++, and ESP-IDF.
Gave private classes for GCSE and A level Tuition for Computer Science and Physics