Yao Peisen PhD in Computer Science
Assistant Professor (ZJU 100 Young Professor)
| Doctoral supervisor
- pyaoaa@zju.edu.cn
-
- · Programming Languages (Program Analysis and Verification, Program Synthesis)
- · Logic (Theorem Proving)
- · Software Security (Fuzzing)