刘艾，男，中共党员，本科毕业于中国科学技术大学少年班学院，博士毕业于北京大学数学科学学院，曾任日本广岛大学助理教授，现任南京航空航天大学计算机学院副教授，国家重大人才工程A类青年人才，研究方向是范畴论、软件测试、理论计算机科学、软件形式化方法等。

    招收于2025年9月入学的软件工程硕士生，感兴趣的同学可以提前与我联系。详情如下：

    些许偏好：希望你对自己的英文阅读和中英文写作能力有信心，希望你在数学（如代数、逻辑、离散数学、概率、微分方程等分支）、计算机科学（特别是自动机理论、算法与数据结构）和软件工程领域（工具开发、编写代码）三者中至少有一方面突出，希望你有良好的交流沟通能力、敢于表达自己的想法和意见，希望你有成熟的心态、稳定的情绪、独立的见解。研究方向不一定要和本人过往方向一致，如你有兴趣有实力，也可以一起探索新的研究方向，比如量子计算、大语言模型的应用、可信人工智能等。

    些许收获：和本人良好的合作关系，参加领域内专业培训（比如西南大学的SETSS春季学期系列、华东师范大学软件学院暑期学校等），参加国际会议和出国交流的机会（如果你在一流的国际会议有文章被录用，一般都会资助你参加会议，除学校公派的出国交流机会之外，会推荐并资助你去合适的国外大学或者机构进行交流），科研设备支持（可以为你搭建科研所需的服务器和工作站），科研经费支持和科研奖励（除了学校发放的津贴以外，本人将按劳发放助研津贴，实验室的工位租赁费、打印复印、图书资料费、论文版面费、国际会议及暑期学校的注册费和差旅费都可以从本人的经费里面支出，在顶级国际会议和期刊上发表论文的同学，会适当给予奖励）。