基本信息：

姓名：刘梓璇

性别：女

邮箱：cslzx@imu.edu.cn

办公地点：卓越楼1125办公室

研究方向：

计算机算术理论与算法；形式化方法与程序验证。

个人简介：

刘梓璇，女，博士，讲师。2024年6月获内蒙古大学计算机科学与技术博士学位，2024年9月至2026年9月在清华大学软件学院软件系统与工程研究所从事博士后研究工作。主要研究方向为计算机算术与形式化方法，重点研究计算机算术算法的理论分析、构造方法与正确性验证，并进一步探索算法与程序的形式化验证。相关研究成果发表于IEEE Transactions on Computers（TC）、IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems（TCAD）等国际高水平学术期刊。

教育背景与工作经历：

2024.09–2026.09 清华大学软件学院软件系统与工程研究所，博士后

2019.09–2024.06 内蒙古大学计算机学院，计算机科学与技术，工学博士

2016.09–2019.06 内蒙古大学计算机学院，计算机科学与技术，工学硕士

2011.09–2015.06 大连民族大学计算机科学与工程学院，计算机科学与技术，工学学士

学术论文：

[1] Liu Z, Song X, Wang Z, Wang Y, Zhou J T. Constructing High Radix Quotient Digit Selection Tables for SRT Division and Square Root[J]. IEEE Transactions on Computers, 2023, 72(7): 2111–2119.（CCF A类）

[2] 刘梓璇, 周建涛. 负载均衡的主导资源公平分配算法[J]. 计算机工程与科学, 2019, 41(9): 1574–1580.（CCF T2类）

[3] Wang Z, Yang L, Lin H, Zhao G, Liu Z, Song X. Distributed Deep Learning Optimization of Heat Equation Inverse Problem Solvers[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42(12): 4831–4843.（CCF A类）

[4] 赵彩虹, 刘梓璇, 周建涛. 一种基数为4的高基数SRT立方根算法设计与实现[J]. 计算机工程与科学, 2025, 47(2): 228–237.（CCF T2类）

科研项目：

1. 北京市自然科学基金项目，大模型驱动的静态分析误报消除方法研究，2026.01–2027.12，项目骨干

2. 内蒙古大学研究生科研创新项目，云平台中多资源分配方法的公平性与负载均衡性研究，2020.03–2021.04，主持

3. 国家自然科学基金项目，数据密集云中资源与任务的协同匹配与动态优化研究，2016.09–2019.12，项目成员