网络安全 · 形式化方法 · 信息物理系统
网络安全高级讲师与研究员
我的研究关注如何通过严谨的建模、验证和人工智能辅助分析，使信息物理系统与工业系统更加安全、可靠和值得信赖。
Mälardalen University个人简介
关于我
我是梅拉达伦大学的高级讲师和研究员。我的工作涵盖网络安全、信息物理系统、形式化方法、运行时验证、威胁建模以及人工智能辅助安全工程。
在学术研究、研究生指导、教学和面向工业的案例研究中，我专注于能够使安全证据更清晰、系统行为在实践中更可靠的方法。
在 MDU 开展研究始于
ABB
Volvo CE
工业案例研究经验
研究
研究方向
分析并保障软件决策与工业过程及物理世界相互作用的系统安全。
以结构化方法识别攻击场景、描述安全相关数据流，并支持早期安全推理。
在系统运行过程中检测不安全或对抗性行为，包括并发缺陷、运行时监测器和 Tiny Twins。
研究语言模型和人工智能如何在保持可追溯性、专家监督和合理可信度的同时支持安全分析。
职业历程
经历与教育
梅拉达伦大学 · 瑞典
教学、科研领导、学生指导以及网络安全课程建设。
梅拉达伦大学 · 瑞典
形式化方法、安全建模、运行时验证及面向工业的研究。
梅拉达伦大学 · 瑞典
安全与保障相关的信息物理系统。
梅拉达伦大学 · 瑞典
博士论文： Concurrency Bugs: Characterization, Debugging and Runtime Verification.
马来亚大学 · 马来西亚
伊朗
SAFECOMP 2026 已被 SAFEComp 2026 接收
ACDSA 2026
Journal of Cybersecurity and Privacy
Journal of Logical and Algebraic Methods in Programming
Journal of Parallel and Distributed Computing
科研领导
项目与资助
项目负责人 · 2024
安全可信执行平台——智能房间预研。
TSS pre-study项目负责人 · 2024
计算机科学与工程领域科研合作的方法和理论框架。
RoC grant共同申请人 · 2020
增强现实与网络安全。
KKS grant产业合作
与 ABB 和 Volvo Construction Equipment 合作开展工业案例研究。
ABBVolvo CE教学
教学与指导
工业网络安全基础
工业网络安全方法与工具
建模与信息物理系统安全方向的研究生指导
硕士及本科毕业论文指导
