Sungwoo Park 박성우 - Welcome! 환영합니다!

About me

학생 및 Scala 전임개발자 모집 (Graduate student and Scala developer positions available)


I am interested in programming language theory, logic in computer science, and type systems for new programming languages. Currently I am working on program verification based on separation logic with magic wand. I am also interested in distributed computing for big data. Currently I am developing a new computing engine for Hadoop that supports DAG, fault tolerance, and in-memory computing.


  1. A Proof System for Separation Logic with Magic Wand.
    Wonyeol Lee and Sungwoo Park.
    POPL 2014. [Webpage]
  2. Judgmental Subtyping Systems with Intersection Types and Modal Types.
    Jeongbong Seo and Sungwoo Park.
    Acta Informatica 50(7):359-380, October 2013. [Webpage]
  3. Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types.
    Hyeonseung Im, Keiko Nakata, and Sungwoo Park.
    ICALP 2013, Part II, pp. 299-311. [PDF]
  4. Mechanizing Metatheory without Typing Contexts.
    Jonghyun Park, Jeongbong Seo, Sungwoo Park, and Gyesik Lee.
    Journal of Automated Reasoning 52(2):215-239, April 2013. [Webpage] (with a solution to the POPLmark challenge)
  5. A Theorem Prover for Boolean BI.
    Jonghyun Park, Jeongbong Seo, and Sungwoo Park.
    POPL 2013. ACM SIGPLAN Notices 48(1):219-232, January 2013. [Webpage]
  6. Computing Exact Skyline Probabilities for Uncertain Databases.
    Dongwon Kim, Hyeonseung Im, and Sungwoo Park.
    IEEE Transactions on Knowledge and Data Engineering (TKDE) 24(12):2113-2126, December 2012. [PDF]
  7. Group Skyline Computation.
    Hyeonseung Im and Sungwoo Park.
    Information Sciences 188:151-169, April 2012. [PDF]
  8. A Modal Logic Internalizing Normal Proofs.
    Sungwoo Park and Hyeonseung Im.
    Information and Computation 209(12):1519-1535, October 2011. [PDF]
  9. A Syntactic Type System for Recursive Modules.
    Hyeonseung Im, Keiko Nakata, Jacques Garrigue, and Sungwoo Park.
    OOPSLA 2011. ACM SIGPLAN Notices 46(10):993-1012, October 2011. [PDF]
  10. Parallel skyline computation on multicore architectures.
    Hyeonseung Im, Jonghyun Park, and Sungwoo Park.
    Information Systems 36(4):808-823, June 2011. [PDF]
    Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, and Hyeonseung Im.
    ICDE 2009, pp. 760-771. [PDF]
  11. A calculus for hardware description.
    Sungwoo Park and Hyeonseung Im.
    Journal of Functional Programming 21(1):21-58, January 2011. [PDF]
    Functional netlists.
    Sungwoo Park, Jinha Kim, and Hyeonseung Im.
    ICFP 2008. ACM SIGPLAN Notices 43(9):353-366, September 2008. [PDF]
  12. Type-safe higher-order channels with channel locality.
    Sungwoo Park and Hyeonseung Im.
    Journal of Functional Programming 19(1):107-142, January 2009. [PDF]
    Type-safe higher-order channels in ML-like languages.
    Sungwoo Park.
    ICFP 2007. ACM SIGPLAN Notices 42(9):191-202, September 2007. [PDF]
  13. A logical account of uncertain databases based on linear logic.
    Sungwoo Park and Seung-won Hwang.
    ICDT 2009, pp. 141-148. [PDF]
  14. A probabilistic language based upon sampling functions.
    Sungwoo Park, Frank Pfenning, and Sebastian Thrun.
    TOPLAS 31(1), Article 4, December 2008. [PDF]
    POPL 2005. ACM SIGPLAN Notices 40(1):171-182, January 2005. [PDF]
  15. A modal language for the safety of mobile values.
    Sungwoo Park.
    APLAS 2006. LNCS 4279, pp. 217-233, November 2006. [PDF]
  16. The inverse method for the Logic of Bunched Implications.
    Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, and Sungwoo Park.
    LPAR 2004. LNAI 3452, pp. 466-480, March 2005. [PDF]
  17. A calculus for probabilistic languages.
    Sungwoo Park.
    TLDI 2003. ACM SIGPLAN Notices 38(3):38-49, March 2003. [PDF]
  18. Iterative inversion of fuzzified neural networks.
    Sungwoo Park and Taisook Han.
    IEEE Transactions on Fuzzy Systems 8(3):266-280, June 2000. [PDF]
  19. Object-oriented VRML for multi-user environments.
    Sungwoo Park and Taisook Han.
    VRML 97, pp. 25-32. [ACM DL]


Courses that I taught since 2006:

학계 족보

GRE Word List

Sungwoo Park
Department of Computer Science and Engineering
Pohang University of Science and Technology
77 Cheongam-Ro Nam-Gu Pohang Gyeongbuk 37673
Republic of Korea
경북 포항시 남구 효자동 산 31 포항공과대학교 컴퓨터공학과

Office: PIRL 334
Phone: +82-54-279-2386
Fax: +82-54-279-5539
Email: gla at postech dot ac dot kr

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