박종현 Jonghyun Park - Welcome!


Education and Professional Experience

Research Interests

Type Theory

Proof Theory


Publications


Jonghyun Park
Department of Computer Science and Engineering
Pohang University of Science and Technology
San 31 Hyoja-dong, Nam-gu, Pohang, Gyeongbuk, 790-784
Republic of Korea

Office: POSTECH Information Research Laboratory building, 353
Phone: +82-54-279-5878
Email: parjong at postech dot ac dot kr