职称：特别研究助理 

    邮箱：xujuan@cigit.ac.cn

    部门：自动推理与认知中心

    简历：

    徐娟，2021年6月在北京航空航天大学应用数学系获博士学位。2021年7月加入中国科学院重庆绿色智能技术研究院电子信息研究所自动推理与认知研究中心。

    研究方向：

    符号数值混合计算，格密码

    研究方向：

    蕨类植物的分类与演化、eDNA和metabarcoding

    代表性论文和论著：（论文/著作 名称、发表刊物/出版单位名称、发表年份、本人排名）

    1.Juan Xu, Dongming Wang, Dong Lu, Squarefree normal representation of zeros of zero-dimensional polynomial systems, J. Symb. Comput., Volume 122, 2024, 102273

    2.Dongming Wang, Juan Xu*. A symbolic-numerical algorithm for isolating real roots of certain radical expressions. Journal of Computational and Applied Mathematics, Volume 391, 2021, 113424

    3.Juan Xu, and Chee Yap. Effective subdivision algorithm for isolating zeros of real systems of equations, with complexity analysis. Proceedings of the 44th International Symposium on Symbolic and Algebraic Computation, 355-362, Beijing, China, July 15-18, 2019

    4.Juan Xu, Michael Burr, and Chee Yap. An approach for certifying homotopy continuation paths: Univariate case. Proceedings of the 43th International Symposium on Symbolic and Algebraic Computation, 399-406, New York, USA, July 16-19, 2018.

    5.Ruben Becker, Michael Sagraloff, Vikrum Sharma, Juan Xu, and Chee Yap. Complexity analysis of root clustering for a complex polynomial. In Proceedings of the 41th International Symposium on Symbolic and Algebraic Computation, 71-78, Waterloo, Canada, July 20-22, 2016.

    承担科研项目情况（承担时间、项目名称、本人排名）

    1.“拟半代数的求解及其在格密码学中的应用”，国家自然科学基金青年项目，2024-2026， 主持。

    2. 中科院特别研究助理资助项目，2022-2023，主持。