systems, security, silicon
work and research experience
- Apple [07/24-05/26]: CAD infra, flows, devtools platform and low power silicon
design methodology engineering
- UC Berkeley Sky Lab [08/22-05/24]: researching novel
high-throughput consensus mechanisms for distributed systems
gasper-siesta: master's thesis
focusing on reducing ethereum's commit latency.
- Apple [05/23-08/23]: performant backend infrastructure and
internal microservices for hardware designers
- Succinct Labs [01/23-05/23]: building verifiable compute
primitives with novel cryptography
- Blockchain at Berkeley [08/21-05/23]: president, led
research & consulting projects and educational courses
- Apple [05/22-08/22]: built web-apps and internal
tools for hardware designers
- UC Berkeley MPC Lab [02/22-07/22]: researched,
designed, and implemented simulations for model predictive control of automated cars
- Hwy Haul [05/21-08/21]: built algorithms and microservices for
truck driver ETA prediction and break-detection
open source work
turbulence: deterministic
distributed system testing by injecting network and storage hardships and fuzz testing,
extending turmoilaros: an iOS sdk to prove images
were captured on real devices using SOTA cryptography (secure enclaves, zk-SNARKs)
@ treehacks 2024. read more here
lazyfs-rs: reimplementing
lazyfs in rust using std
synchronization primitives and FUSE (wip)
btc-warp: infrastructure and zk-SNARKs
for zero-shot node syncing in chained distributed systems
to see more, check out my
github