eecs student focusing on distributed systems & security at uc berkeley
btc-warp: infrastructure and zk-SNARKs
for zero-shot node syncing in chained distributed systemsturbulence: deterministic
distributed system testing by injecting network and storage hardships and fuzz testing,
extending turmoilgalen: using variational
autoencoders for anomaly-detection in medical imagesaros: an iOS sdk to prove images
were captured on real devices using SOTA cryptography (secure enclaves, zk-SNARKs)
@ treehacks 2024. read more here
narwhal-fino:
implementing the fino consensus protocol
on top of the narwhal mempoollazyfs-rs: reimplementing
lazyfs in rust using std
synchronization primitives and FUSE (wip)
traverse: static analysis and
automated security reports for the ethereum virtual machineweld: high-throughput, customizable
evm testnets for prototyping using anvilimproved price oracles:
harden price manipulation on uniswap v3 TWAP & reduce gas costs for euler finance's TWMPself-decongesting cars:
exploring self-coordinating agents to decongest traffic via reinforcement learninggasper-siesta: master's thesis
focusing on reducing ethereum's commit latency.