(2차년도) 사이버물리시스템의 안전한 합성을 위한 시스템 소프트웨어 핵심기술 연구

한국연구재단

2019년 03월 - 2020년 02월

(국고) BK21 플러스 무인항공기 SW플랫폼 연구사업팀(7차년도)

한국연구재단

2019년 03월 - 2020년 02월

(국고) BK21 플러스 무인항공기 SW플랫폼 연구사업팀(6차년도)

한국연구재단

2018년 03월 - 2019년 02월

고성능 Safety-Critical 임베디드 시스템을 위한 실시간 스케쥴링 프레임워크 연구

한국연구재단

2017년 05월 - 2018년 04월

(국고) BK21 플러스 무인항공기 SW플랫폼 연구사업팀(5차년도)

한국연구재단

2017년 03월 - 2018년 02월

무인항공기 개방형 플랫폼 연구센터(무인항공기 개발형 플랫폼 연구회)

경상대학교

2016년 11월 - 2017년 02월

(2차년도) 고성능 Safety-Critical 임베디드 시스템을 위한 실시간 스케쥴링 프레임워크 연구

한국연구재단

2016년 05월 - 2017년 04월

(1차년도) 고성능 Safety-Critical 임베디드 시스템을 위한 실시간 스케쥴링 프레임워크 연구

한국연구재단

2015년 05월 - 2016년 04월

경량 하이퍼바이저 기반 보안 함수를 포함한 경량 가상머신 (Tiny VM) 스케줄링 기법

ETRL부설 국가보안기술연구소

2015년 04월 - 2015년 11월

고성능 Safety-Critical 임베디드 시스템을 위한 실시간 스케쥴링 프레임워크 연구(3차년도)

한국연구재단

2014년 05월 - 2015년 04월