사이버보안 · 정형 기법 · 사이버물리시스템
사이버보안 분야 선임강사 및 연구자
엄밀한 모델링, 검증, AI 기반 분석을 통해 사이버물리시스템과 산업 시스템의 보안성, 신뢰성, 안전성을 높이는 방법을 연구합니다.
Mälardalen University소개
저는 멜라르달렌 대학교의 선임강사이자 연구자입니다. 사이버보안, 사이버물리시스템, 정형 기법, 런타임 검증, 위협 모델링, AI 기반 보안 공학을 연구합니다.
학술 연구, 대학원생 지도, 강의, 산업 현장 사례 연구를 통해 보안의 근거를 명확히 하고 실제 시스템 동작의 신뢰성을 높이는 방법에 집중합니다.
MDU 연구 시작 연도
ABB
Volvo CE
산업 사례 연구 경험
주요 연구 분야
소프트웨어의 판단이 산업 공정 및 물리적 세계와 상호작용하는 시스템의 보안 분석과 보증을 연구합니다.
공격 시나리오를 식별하고 보안 관련 데이터 흐름을 표현하며 설계 초기 단계의 보안 추론을 지원하는 체계적인 접근법을 연구합니다.
동시성 버그, 런타임 모니터, Tiny Twins 연구를 통해 실행 중 안전하지 않거나 악의적인 동작을 탐지합니다.
추적 가능성, 전문가의 감독, 근거에 기반한 신뢰를 유지하면서 언어 모델과 AI가 보안 분석을 지원하는 방법을 탐구합니다.
경력 및 학력
멜라르달렌 대학교 · 스웨덴
강의, 연구 주도, 학생 지도, 사이버보안 교육과정 개발을 담당합니다.
멜라르달렌 대학교 · 스웨덴
정형 기법, 보안 모델링, 런타임 검증, 산업 연계 연구를 수행합니다.
멜라르달렌 대학교 · 스웨덴
안전 및 보안 관련 사이버물리시스템을 연구했습니다.
멜라르달렌 대학교 · 스웨덴
학위논문: 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 CEComputer Systems
Operating Systems
Industrial Internet of Things for Manufacturing Industry
Safety and Security Interplay
Smart Factories
Industrial Cybersecurity
Introduction to Industry 4.0
