网络安全 · 形式化方法 · 信息物理系统
网络安全高级讲师与研究员
我的研究关注如何通过严谨的建模、验证和人工智能辅助分析，使信息物理系统与工业系统更加安全、可靠和值得信赖。
Mälardalen University关于我
我是梅拉达伦大学的高级讲师和研究员。我的工作涵盖网络安全、信息物理系统、形式化方法、运行时验证、威胁建模以及人工智能辅助安全工程。
在学术研究、研究生指导、教学和面向工业的案例研究中，我专注于能够使安全证据更清晰、系统行为在实践中更可靠的方法。
在 MDU 开展研究始于
ABB
Volvo CE
工业案例研究经验
研究方向
分析并保障软件决策与工业过程及物理世界相互作用的系统安全。
以结构化方法识别攻击场景、描述安全相关数据流，并支持早期安全推理。
在系统运行过程中检测不安全或对抗性行为，包括并发缺陷、运行时监测器和 Tiny Twins。
研究语言模型和人工智能如何在保持可追溯性、专家监督和合理可信度的同时支持安全分析。
经历与教育
梅拉达伦大学 · 瑞典
教学、科研领导、学生指导以及网络安全课程建设。
梅拉达伦大学 · 瑞典
形式化方法、安全建模、运行时验证及面向工业的研究。
梅拉达伦大学 · 瑞典
安全与保障相关的信息物理系统。
梅拉达伦大学 · 瑞典
博士论文： Concurrency Bugs: Characterization, Debugging and Runtime Verification.
马来亚大学 · 马来西亚
伊朗
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
计算机科学与工程领域科研合作的方法和理论框架。
共同申请人 · 2020
增强现实与网络安全。
产业合作
与 ABB 和 Volvo Construction Equipment 合作开展工业案例研究。
ABBVolvo CE计算机系统
操作系统
面向制造业的工业物联网
功能安全与网络安全的协同
智能工厂
工业网络安全
工业4.0导论
