Sineng Tao (陶四能)'s Homepage
Contact
- Institute: Institute of Software, Chinese Academy of Sciences (ISCAS)
- Department: State Key Lab. of Computer Science (SKLCS)
- Email:
3295105735@qq.com
About Me
- I am currently a Ph.D. student in the group.
- 2022–2026: Bachelor's degree in Computer Science and Technology from Hefei University of Technology.
Research Interests
- Formal Verification of Operating Systems