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