个人简介

已在CVPR、CAV、EMSOFT、FM、ISSAC等国际会议和ACM TECS、IEEE TCAD、JSC、CAD、The Computer Journal等国际期刊上发表学术论文40余篇。近年来主持承担国家自然科学基金、教育部留学人员启动基金、上海市自然科学基金等多个科研课题的研究。 Book Chapters: [1] Erich Kaltofen‚ Zhengfeng Yang‚ and Lihong Zhi. Structured low rank approximation of a Sylvester matrix. In Symbolic-Numeric Computation. Trends in Mathematics. Birkhser-Verlag‚ Basel‚ Switzerland‚ 2007‚ pages 69-83. Selected Talks: Darboux-type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems,Oct. 2016, Pittsburgh, USA. Sparse multivariate function recovery from values with noise and outliererrors,July 2016, Waterloo, Canada. Error-correcting sparse interpolation of multivariate function,Workshop on Linear Computer Algebra and Symbolic-Numeric Computation, Oct. 2015, Toronto, Canada. Sparse polynomial interpolation with arbitrary orthogonal polynomial bases,the International Congress on Industrial and Applied Mathematics (ICIAM2015), Aug. 2015, Beijing, China. Sparse multivariate function recovery from values with noise and outlier errors,SIAM Conference on Applied Algebraic Geometry(SIAM'AG15), Aug.2015,Daejeon,Korea. Sparse multivariate function recovery with a high error rate in evaluations,the International Symposium on Symbolic and Algebraic Computation(ISSAC), Jul. 2014, Kobe, Japan. Finite-time Reachability Analysis of Nonlinear Systems, NIMS Workshop on Optimization and Algebraic Geometry,Jun.2014,Daejeon,Korea. Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation, 20th Conference of the Inter national Federation of Operational Research Societies(IFORS), Jul. 2014, Barcelona, Spain. Safety Verification of Interval Hybrid Systems Based on Reliable SOS Programming, CDZ Workshop GZ1115 on Computation and Reasoning with Constraints, Oct. 2014, Beijing, China. Sparse Multivariate Function Recovery from Values with Noise and Outlier Errors,SIAM Conference on Applied Algebraic Geometry(SIAM'AG13), Jul. 2013, Colorado, USA. Exact Safety Verification of Hybrid Systems Based on Symbolic-Numeric Computation,Asian Symposium on Computer Mathematics(ASCM), Oct. 2012,Beijing, China. Exact Safety Verification of Hybrid Systems Based on Hybrid Symbolic-Numeric Computation, Colloquium on Logic in Engineering Dependable Software, Nov. 2012, Yunnan, China. Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients, the International Workshop on Symbolic-Numeric Computation(SNC2011), Jul. 2011. San Jose, USA. Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation, the International Workshop on Symbolic-Numeric Computation(SNC2011), Jul. 2011. San Jose, USA. Blind image deconvolution via fast approximate GCD,SIAM/MSRI Workshop on Hybrid Methodologies, Nov. 2010, Berkeley, California. Exact Certification in Global Polynomial Optimization via Sums-of-Squares of Rational Functions with Rational Coefficients, Computer-assisted proofs - tools, methods and applications, Nov. 2009, Dagstuhl, Germany. Poster,Exact Certification in Global Polynomial Optimization via Sums-of-Squares of Rational Functions with Rational Coefficients,the International Conference of Mathematics Mechanization(ICMM), May 2009, Beijing, China. Exact Certification of Global Optimality of Approximate Factorizations via Rationalizing Sums-of-squares with Floating Point Scalars,the International Symposium on Symbolic and Algebraic Computation(ISSAC), Jul. 2008,Hagenberg, Austria. Early Termination in Sparse Interpolation of Rational Functions, Computers in Scientific Discovery IV(CSD-IV'2008), Apr. 2008, Shanghai, China. On Probabilistic Analysis of Randomization in Hybrid Symbolic-Numeric Algorithms, Department of Mathematics, Simon Fraser University, Dec. 2007, Canada. On Exact and Approximate Interpolation of Sparse Rational Functions,the International Symposium on Symbolic and Algebraic Computation(ISSAC), Jul. 2007, Waterloo, Canada. Poster, Early Termination in Sparse Interpolation of Rational Functions,East Coast Computer Algebra Day( ECCAD), Apr.2007, Maryland,USA. On Exact and Approximate Interpolation of Sparse Rational Functions,NCSU Symbolic Computation Seminar,Mar. 2007. Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials,the International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul. 2006, Genova, Italy. Structured Low Rank Approximation of a Sylvester Matrix,the International Workshop on Symbolic-Numeric Computation(SNC2005),Jul. 2005, Xi'an, China. Approximate Factorization of Multivariate Polynomials via Differential Equations,the 6-th International Workshop on Mathematics Mechanization, May 2004, Shanghai, China. Work Related Links: This is the main website for interval computations. The website for global optimization test problems.