周慧思
发布日期:2024-04-06 浏览次数:次
综合介绍
General Introduction
研究方向包括:形式化验证、故障分析及人工智能领域的基于模型的诊断问题等。在AAAI(人工智能顶会)、Information Sciences、Frontiers of Computer Science、《中国科学*信息科学》、《计算机研究与发展》等国际及国内知名期刊发表论文10余篇。曾多次参与国家自然科学基金面上项目,参与多项XXX基金。联系邮箱:zhouhs@nwpu.edu.cn
个人相册
教育教学
荣誉获奖
科学研究
学术成果
综合介绍