연구실 정보를 불러오고 있습니다
확률 추론과 프로그램 분석을 결합한 연구실로, 최근 1년간 연구원이 12명에서 24명으로 확장되었습니다.
수집 중
수집 중
2026 · 학생 규모 변화 · 높은 영향
2025년 대비 2026년에 연구원 수가 100.0% 증가하여 12명에서 24명으로 두 배 확대되었습니다. 이는 연구실 규모의 급격한 확장을 의미합니다.
확률 추론과 프로그램 분석을 결합한 연구실로, 최근 1년간 연구원이 12명에서 24명으로 확장되었습니다.
이원열 교수가 이끄는 포항공과대학교 컴퓨터공학과 연구실은 최근 5년간 8편의 논문을 발표하며 연구 활동을 이어왔으며, 가장 최근 성과는 2025년 11월에 확인됩니다. 연구 주제는 확률 추론, 변분 추론, 확률 프로그래밍 등 확률적 방법론을 중심으로, 부동소수점 연산, 자동 미분, 프로그램 정적 분석 및 검증과 같은 프로그램 분석 영역과 신경망 근사 이론, 신경망 표현력, 혼합 정밀도 학습 등 기계학습 이론 분야가 복합적으로 교차하는 방향으로 형성되어 있습니다. 특히 루프 벡터화, 벡터화 최적화, 난수 생성 등 시스템 수준의 최적화 주제가 함께 포착되어, 이론적 기반과 실용적 구현을 아우르는 연구 스펙트럼이 나타납니다. 연구실 규모 측면에서는 2025년 대비 2026년에 연구원 수가 12명에서 24명으로 100% 증가하여, 인적 자원의 급격한 확장이 이루어졌습니다. 이러한 변화는 확률적 프로그램 분석과 신경망 이론을 결합하는 연구 방향이 보다 넓은 인력 기반 위에서 전개되고 있음을 보여줍니다.