For a detailed CV, including past experience, active projects, etc. please reach out to me . But here is a brief run down of my recent academic activities.

Education

• PhD in Computer Science (2024 - Present)
  School of Computing, National University of Singapore
  Advisors: Prof. Prateek Saxena, Prof. Umang Mathur
• Bachelor of Technology in Electrical Engineering (2020 - 2024)
  Indian Institute of Technology, Kharagpur
  Micro Specialization in Embedded Control Modelling Software and Design

Skills and Interests

• Programming Languages: C, C++, Python, OCaml, Rust, SystemVerilog
• Tools & Technologies: Anything with documentation :P
• Research Interests: PL/Formal Methods, Computer Architecture, Security, Operating Systems-

Publications

(* indicates equal contribution)

1. Jason Zhijingcheng Yu*, Aditya Ranjan Jha*, Umang Mathur, Trevor E. Carlson, and Prateek Saxena. “Anvil: A General Purpose Timing-Safe Hardware Description Language.” In Proceedings of the 31st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2026).

Other Roles

• Artefact Review Committee Member for: PLDI 2026 , ASPLOS 2026 (Summer)
• Teaching Assistant for: CS3235 Computer Security : (2024-2025),(2025-2026)