Beijing
Hao Wu
Intermediate@EcstasyH
PhD Student @ Institute of Software, Chinese Academy of Sciences
AdvancedAlgorithm. 计算所高级算法课程，张家琳老师主讲，主要涵盖内容近似算法、随机算法、量子计算
5Interpolation. Synthesizing polynomial Craig interpolations over non-compact regions via homogenization
4EXP-solver. Solver for the extension of Presburger Arithmetic with exponential functions (PAexp)
1BCunbounded. Synthesizing barrier certificates over non-compact regions via homogenization
1 views 4 projects
Apply