受计算机与通信工程学院甘勇院长的邀请，郑州大学徐明亮教授和华东师范大学计算机科学与软件工程学院嵌入式软件与系统系主任、教授、博士生导师陈仪香教授分别于2017年2月17日上午9点和2月22日上午10点来我校做学术报告。讲座由计算机与通信工程学院副院长金保华教授主持，计算机与通信工程学院的部分教师和研究生聆听了本次讲座。

徐教授认为，科研选题应瞄准国家重大需求、推进学科交叉融合。并详细阐述了科学研究的选题方式方法。结合国家自然科学基金项目申报，徐明亮从基金申请的标题确定、科学问题凝练、研究方案、可行性分析以及申报书撰写注意事项等方面给出了自己的意见和建议。报告结束后，徐明亮还同计算机学院部分老师就科研选题的创新性、新概念的提出以及国家自然科学基金的申请等问题进行了深入交流。

陈教授针对当前软件领域中诸如物联网、信息物理融合系统(CPS)以及云计算等研究热点所涉及到的实时智能体在任务处理方面呈现时空一致性科学问题的基础研究进行了深入探讨。建立了能反映系统与智能体时空一致性的软件形式化模型，具体包括描述软件系统时空一致性的程序规范语言(STeC)，时间和空间驱动的时空自动机模型以及基于时钟的时钟逻辑系统，并在此基础上，设计了具有时空一致性的智能体及系统的体系结构以及评估和分析方法。

最后，陈教授根据多年来的评审国基金标书的经验，站在一个评审者的角度与大家分享一些国基金申请的技巧和注意事项，并对参会人员的申请书进行了一对一现场指导。通过学术交流和项目论证，广大教师不仅了解了学术前沿动态，拓展了专业视野，还掌握了一定项目申报技巧和方法，受益匪浅。