This project area includes my work on hardware description languages, timing-safe hardware, secure hardware design, and related verification and synthesis questions. See Anvil playground.
Research Support
Advancing the Foundations and Ecosystem for Safe and Secure Hardware Design — Temasek-Presidential Young Professorship, Ministry of Defence, Singapore (2026; Principal Investigator).
Starting in June 2026, this project builds on Anvil, our hardware description language for preventing timing hazards. We are developing type systems, compilation techniques, and tools for checking timing, communication, and security properties while remaining compatible with existing hardware design workflows. See the NUS announcement for more about the project.