Contact

  • Institute: Institute Of Software Chinese Academy of Science(ISCAS)
  • Apartment: State Key Lab. of Computer Science(SKLCS)
  • email: hudh@ios.ac.cn

About me

  • I am now a PhD student in the group.
  • 2015-2019: Computer science, University of Chinese Academy of Science.
  • 2019-: Computer science, Institute Of Software Chinese Academy of Sciences.

Research Interests

  • Program verification and analysis.
  • String constraints solving.

Publication:

Tools:

  • ostrich: An SMT solver for string constraints.