Tao Sineng (陶四能)'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 an intern in the group.
• 2022-present: An undergraduate student majoring in Computer Science and Technology, Hefei University of Technology.

Research Interests​

• Formal Verification of Operating Systems