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.
-
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