Aditya Ranjan Jha

Welcome to Aditya's website!

Welcome to Aditya's website! This site is the only platform where I communicate my thoughts and professional updates.

Latest News 📰

Dec 7, 2025

Check out Anvil, a new HDL that guarantees timing safety at compile time!

View all updates →

About Me 👔

A second-year PhD student at NUS School of Computing, working with Prof. Prateek Saxena on secure architectures, with growing interests in programming language design and formal verification.

Read full bio →

Other Links 🔍