教授,工学博士,硕士研究生导师。同济大学派遣教师,现任电子与信息工程系主任,《铁道学报》评审委员;《城市轨道交通》评审委员;中铁铁路产品安全认证中心注册审核员;EN50128、EN50129标准转化为铁路标准和国家标准工作组主要成员;中国铁路产品质量监督检验中心的注册安全评估员;兼任铁道部铁路车站计算机联锁检验站质量负者人和副站长。
多年从事计算机控制领域的教学和科研工作。近年来主要研究方向为安全关键软件可信性综合评估的关键技术,重点研究安全关键软件和实时控制逻辑的形式化方法和技术、安全关键系统和安全关键软件的安全保证体系、可信性评估技术。陆续参加研发有线CTCS2级列控中心测试评估平台和客运专线列控中心测试评估平台等。参加武广和郑西高速铁路客运专线列车运行控制系统第三方安全评估。主持翻译了EN50128、EN50129标准。
主持和参加多项铁道部重点科技攻关项目,参加完成国家自然科学基金和国家863项目3项,完成其他各类科研项目包括:铁道部项目《电务设备安全保障技术研究-电务设备安全保障技术研究- 铁路信号系统功能需求形式化说明技术的研究》等9项。参与发表学术论文包括《铁路信号联锁逻辑形式化建模研究》;《地铁集中运输控制系统联锁软件的第三方测试》等20余篇。