赵恒军

2023-09-18 09:00 作者: 审核: 浏览:

姓       名

赵恒军

性      别

学       历

博士

职      称

副教授

研 究 方 向

信息物理系统、软件形式化方法、AI for   Science

邮 箱 地 址

zhaohj2016@swu.edu.cn

学习与

工作经历

  2016-06 至 今, 西南大学, 计算机与信息科学学院 软件学院

  2014-07 至 2016-06, 中国科学院重庆绿色智能技术研究院,   信息所自动推理与认知中心, 助理研究员

  2008-09 至 2014-07, 中国科学院大学, 计算机软件与理论,   博士

  2010-10 至 2011.05,美国新墨西哥大学,计算机科学系,访问学者

  2004-09 至 2008-07, 复旦大学, 数学与应用数学, 学士

教学简介

  主要讲授软件工程专业《操作系统原理》课程(大二下)

  另外讲授软件工程专业《类库与数据结构实验》(大二上)

  为研究生讲授《计算机科学中的逻辑学》(研一上)

科研简介

  主要关注含智能组件的信息物理系统的验证与设计,涉及形式化方法、人工智能、控制等领域;同样的方法可应用于程序代码的正确性分析与验证

  一个新的研究领域是AI+Logic,目标是实现逻辑推理的自动化

  指导学生从事一些其他有意思的工作,如神经网络可解释性、AI医学图像、恶意软件识别、安全强化学习、自动驾驶相关技术,等

科研项目

  强化学习安全性的形式化方法研究及其在智能控制中的应用,55万,国家自然科学基金面上项目,在研,2023.1-2026.12

  采样控制系统的安全性验证方法及其应用,24万,国家自然科学基金青年项目,负责人,结题,2018.1-2020.12

代表性成果

(1) 赵恒军; 李权忠; 曾霞; 刘志明 ; 强化学习智能控制在安全攸关CPS中的应用——以某工业油泵为例,软件学报,   2022, 33(7) 【安全强化学习,智能控制,案例研究】

    论文:http://www.jos.org.cn/jos/article/abstract/6588

    代码:https://gitee.com/zhaohj2016/oil-pump-control-jos

(2) Hengjun Zhao; Xia Zeng; Taolue   Chen; Zhiming Liu; Jim Woodcock ; Learning safe neural net work controllers   with barrier certificates, Formal Aspects of Computing, 2021, 33(3): 437-455【智能控制器设计,形式化验证,CCF   B

    论文:https://dl.acm.org/doi/10.1007/s00165-021-00544-5

    代码:https://gitee.com/zhaohj2016/FAoC-tool

(3) Hengjun Zhao; Xia Zeng; Taolue   Chen; Zhiming Liu ; Synthesizing Barrier Certificates Using Neural Networks,   HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation   and Control. 【控制器安全性验证的智能化、形式化方法,CCF B

    论文:https://dl.acm.org/doi/abs/10.1145/3365365.3382222

    代码:https://gitee.com/zhaohj2016/HSCC20-Repeatability

(4) Jingqi Wang, Jiajie Peng, Zhiming Liu*, Hengjun   Zhao*: HQProtoPNet: An Evidence-Based Model for Interpretable   Image Recognition. IJCNN 2023: 1-8【学生工作,图片分类神经网络的可解释性,CCF C

      https://ieeexplore.ieee.org/document/10191863

(5) Yike Cheng, Ji-Le Jiang*, Ning Zhang, Hengjun Zhao*,   Zhiming Liu: Automatic Lumbar Vertebra Landmark Localization and Segmentation   for Pedicle Screw Placement. ICPR 2022: 4263-4269【学生工作,人工智能医学图像处理,脊椎外科手术自动化,CCF C

      https://ieeexplore.ieee.org/document/9956489