Jianrong Yao is an author at Data61 specializing in theory of computing, formal verification, and hardware systems.
Top concepts
CompilersEngineeringFormal MethodsComputer ScienceHardware SystemsHardware SecurityFormal VerificationTheory Of ComputingComputer EngineeringComputer Architecture
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1