Sungwoo Park

박성우 Sungwoo Park - Welcome!

Assistant Professor
Programming Language Laboratory 대빵
Computer Science and Engineering Department
Pohang University of Science and Technology

Ph.D. 2005
Computer Science Department
Carnegie Mellon University
싸부님 Frank Pfenning and Sebastian Thrun

Research

I am interested in programming language theory and logic in computer science. In particular, I am interested in type theory, functional languages, parallel programming, and proof theory.

Submit your paper to APLAS 2010! (Deadline: June 14, 2010) (PC member)
Submit your presentation to ML Workshop 2010! (Deadline: June 25, 2010) (PC member)
APLAS 2009 (PC member)
TASE 2009 (PC member)

Hyeonseung Im and Sungwoo Park. A module system independent of base languages. MLPA 2009. [PDF]
Sungwoo Park and Seung-won Hwang. A logical account of uncertain databases based on linear logic. ICDT 2009.
Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, and Hyeonseung Im. Parallel skyline computation on multicore architectures. ICDE 2009. [PDF]
Sungwoo Park and Hyeonseung Im. Type-safe higher-order channels with channel locality. Journal of Functional Programming, 19:(1):107-142, January 2009. [PDF]
Sungwoo Park, Frank Pfenning, and Sebastian Thrun. A probabilistic language based upon sampling functions. TOPLAS, December 2008. [DOI]
Sungwoo Park, Jinha Kim, and Hyeonseung Im. Functional netlists. ICFP 2008. [PDF]
Sungwoo Park. Type-safe higher-order channels in ML-like languages. ICFP 2007. [PDF]
Sungwoo Park. A modal language for the safety of mobile values. APLAS 2006. [PDF]
Sungwoo Park, Frank Pfenning, and Sebastian Thrun. A probabilistic language based upon sampling functions. POPL 2005.
Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, and Sungwoo Park. The inverse method for the Logic of Bunched Implications. LPAR 2004.
Sungwoo Park. A calculus for probabilistic languages. TLDI 2003. [PDF]
Sungwoo Park and Taisook Han. Iterative inversion of fuzzified neural networks. IEEE transactions on Fuzzy Systems, 8(3):266-280, June 2000. [PDF]

Talk

박성우. POSTECH 컴퓨터공학과 학부교과과정 소개. [PPT] (accessible from POSTECH only)
Sungwoo Park. A critique of R. Invited talk at Japanese R Users' Meeting, December 2006. [PPT]
박성우. Applying to CS Ph.D. Programs in US. [PPT] (accessible from POSTECH only)

Teaching

CSE-321 Programming Languages, Spring 2010. Course notes [PS, PDF]
CSE-499 과제연구, Spring 2010.
CSE-433 Logic in Computer Science, Fall 2009. Course notes [PS, PDF]
CSE-321 Programming Languages, Spring 2009.
CSE-499 과제연구, Fall 2008
EECS-101 Introduction to Computing, Spring 2008. Course notes (in Korean) [PS, PDF]
CSE-700 Parallel Programming, Fall 2007
CSE-433 Logic in Computer Science, Fall 2007.
CSE-321 Programming Languages, Spring 2007
CSE-490 Logic in Computer Science, Fall 2006
CSE-321 Programming Languages, Spring 2006

Students

임현승 Hyeonseung Im (PhD '06)
박종현 Jonghyun Park (PhD '08)
김동원 Dongwon Kim (PhD '09)
임정표 Jungpyo Im (MS '09)
김태경 Taekyung Kim (MS '07 - Graduated)
김진하 Jinha Kim (MS '06 - Graduated)
손민영 Minyoung Son (MS '06 - Graduated)

Sungwoo 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: PIRL 334
Phone: +82-54-279-2386
Fax: +82-54-279-2299
Email: gla at postech dot ac dot kr

박성우

경북 포항시 남구 효자동 산 31 포항공과대학교 컴퓨터공학과

790-784

사무실: 정보통신연구소 334호
전화: 054-279-2386
이메일: gla at postech dot ac dot kr