포항공과대학교 · 컴퓨터공학과
경험 남기기Programming Languages Lab
박성우 / 이원열 교수 · Parallel Programming, Deductive Software Verification, Type Theory, Logic in Computer Science
프로그래밍 언어와 수치계산, 기계학습의 기반 프로그램을 연구합니다. 프로그램의 정확성을 증명하고 효율과 확장성, 근본적인 계산 한계를 분석합니다.
소개 출처 ↗ · 공식 홈페이지의 연구 내용을 요약했습니다.
공식 목록 참고 등록 · 등록 정보 출처 ↗ · 확인 2026-09-08. 연구실 정보의 등록은 평가나 소속 인증을 뜻하지 않습니다.