Welcome to Aditya's website!
Welcome to Aditya's website! This site is the only platform where I communicate my thoughts and professional updates.
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 →