Lab directory
Programming Languages Lab
Programming Languages Lab
POSTECH · Computer Science and Engineering
Information sourcenot verified yet
About
프로그래밍 언어를 연구한다. 병렬 프로그래밍, 연역적 소프트웨어 검증, 타입 이론, 컴퓨터 과학에서의 논리를 다룬다.
Research keywords
Parallel ProgrammingDeductive Software VerificationType TheoryLogic in Computer Science
Other labs in this department
- Human-AI Interaction and Visualization Lab
Sung Ahn Ko
Data Science, LLMs, Visualization, HCI, Social Computing/Science
- Computer Vision Lab
Suha Kwak
Computer Vision, Machine Learning, Robotics
- Parallel System Architecture Lab
Kwang-sun Kim
Computer Architecture, AI Accelerator HW/SW, GPU Systems, Memory System
- Machine Learning Lab
Dongwoo Kim
Machine Learning, Computational Social Science
- Computer Security Lab
Seulbae Kim
Computer Security, Cyber-physical Systems
- Medical Information Processing Lab
Wonhwa Kim
Machine Learning, Computer Vision, Medical Imaging