Shaohua Li is an author at ETH Zurich specializing in formal methods, parallel programming, and parallel computing.
Top concepts
FuzzingEngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisParallel Computing
Publications per year
2023–2024
2
2
Rows per page
1–2 of 2