Personal Homepage
Hey there! Hopefully, I'm the Aditya you're looking for.
Dec 7, 2025
Check out Anvil, a new HDL that guarantees timing safety at compile time!
View all updates →A second-year PhD student at NUS School of Computing, interested in programming languages, formal verification, and computer systems.
Read full bio →