Denghang Hu (胡登杭)'s Homepage

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 a master student in the group.
• 2015-2019: Computer science, University of Chinese Academy of Science.

Research interests​

• Program verification and analysis.
• String constraints solving.
• Symbolic execution and static analysis about javascript.

Tools​

• [ostrich]: An SMT solver for string constraints.