배경민 연구실은 형식적 방법론과 의미론적 데이터 모델링을 중심으로 연구비 규모가 2024년 7억 원으로 확대되었습니다.
수집 중
수집 중
2024 · funding_fluctuation · 높은 영향
2023년 대비 2024년에 연구비가 929.3% 증가하여 68,008,000원에서 700,000,000원으로 대폭 확대되었습니다.
2023 · funding_fluctuation · 보통 영향
2019년 대비 2023년에 연구비가 83.0% 감소하여 400,000,000원에서 68,008,000원으로 축소되었습니다.
2019 · funding_fluctuation · 높은 영향
2016년 대비 2019년에 연구비가 336.4% 증가하여 91,667,000원에서 400,000,000원으로 확대되었습니다.
배경민 연구실은 형식적 방법론과 의미론적 데이터 모델링을 중심으로 연구비 규모가 2024년 7억 원으로 확대되었습니다.
포항공과대학교 컴퓨터공학과 배경민 교수 연구실은 최근 5년간 연구비 규모의 큰 변동을 경험하였습니다. 2019년에는 2016년 대비 336.4% 증가한 4억 원 규모의 연구비를 확보하였으나, 2023년에는 83.0% 감소하여 약 6,800만 원 수준으로 축소되었습니다. 이후 2024년에는 929.3% 증가하여 7억 원 규모로 대폭 확대되는 등 연구비 흐름이 큰 폭으로 변동하는 양상을 보였습니다. 연구 주제 측면에서는 온톨로지 기반 데이터 통합, 사이버-물리 시스템 형식 검증, 신호 시간 논리, SMT 기반 모델 검사, PLC 프로그램 검증 등 형식적 방법론과 의미론적 데이터 모델링을 중심으로 한 키워드들이 나타나고 있으며, 실시간 시스템 및 드론 착륙 지점 탐지와 같은 응용 분야로도 연구 범위가 확장되는 방향이 관찰됩니다. 다만 최근 5년간 집계된 논문 수가 확인되지 않아 연구 성과의 정량적 추이를 구체적으로 서술하기에는 한계가 있습니다.