2024年5月10日15:00分,金沙娱场城app7979计算机与软件学院邀请了南京邮电大学何静教授(博士生导师)在明理楼B306以多项式时间解猜想和人工智能求解器的研究与应用为主题,为我院研究生做学术报告。
何静教授围绕线性规划是否有强多项式时间解?图同构/子图同构是否有多项式时间解?两个问题进行展开分析,并提出了利用切锥方法和梯度流方法尝试给出线性规划的强多项式时间解的方法,同时,推出了置换定理和等势定理尝试解决图同构/子图同构问题。报告还对其研究团队研发的大规模并行线性规划求解器和利用图同构进行拓扑距离测量的新药研发平台进行了介绍。最后,主持人张晓均副教授对本次报告的内容进行了提问与总结,并对何教授的精彩分享与耐心答疑表示了感谢。在本次报告中,我院研究生们针对图同构/子图同构的困惑与何教授进行了深入地交流,受益匪浅,反响很好。
何静是南京邮电大学教授,博士生导师,2022年国家高层次人才入选者。2007-2023年16年间先后在澳大利亚维多利亚大学,斯文本科技大学,昆士兰大学,牛津大学任教。2015年于38岁时即在英联邦国家评为终身正教授,2013年获澳大利亚研究理事会(相当于国家自然科学基金)杰出青年研究员称号,2006年中国科学院数学与系统科学研究院获得博士学位。IEEE高级会员,发表文章200余篇,其中SCI检索67篇,80%以上均为第一作者或者通讯作者。H-index 27。文章引用总计2515次。