연구실 목록
박성우 교수 연구실
Programming Languages Lab
포항공과대학교 · 컴퓨터공학과
정보 출처아직 확인되지 않음
소개
프로그래밍 언어를 연구한다. 병렬 프로그래밍, 연역적 소프트웨어 검증, 타입 이론, 컴퓨터 과학에서의 논리를 다룬다.
연구 키워드
Parallel ProgrammingDeductive Software VerificationType TheoryLogic in Computer Science
같은 학과의 다른 연구실
- 고성안 교수 연구실
Data Science, LLMs, Visualization, HCI, Social Computing/Science
- 곽수하 교수 연구실
Computer Vision, Machine Learning, Robotics
- 김광선 교수 연구실
Computer Architecture, AI Accelerator HW/SW, GPU Systems, Memory System
- 김동우 교수 연구실
Machine Learning, Computational Social Science
- 김슬배 교수 연구실
Computer Security, Cyber-physical Systems
- 김원화 교수 연구실
Machine Learning, Computer Vision, Medical Imaging