FOCS Lab
@ NUS
FOCS Lab
@ NUS
People
Projects
Publications
Research Support
IndiCS 2026
Light
Dark
Automatic
Aditya Ranjan Jha
Co-advised with
Prateek Saxena
Latest
A Type System for Communication Safe Hardware Design
Anvil: A General-Purpose Timing-Safe Hardware Description Language
Cite
×
