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

About me

Associate Professor 부교수
Programming Language Laboratory 프로그래밍언어 연구실
Computer Science and Engineering Department 컴퓨터공학과
Pohang University of Science and Technology POSTECH

I received my BS and MS in Computer Science from KAIST. I received my PhD in Computer Science from Computer Science Department of Carnegie Mellon University under the supervision of Professor Frank Pfenning in 2005. I joined Computer Science and Engineering Department of POSTECH in 2006.

KAIST 전산학과 학부를 1996년, 석사를 1998년 졸업하였습니다. 미국 카네기멜런 대학 컴퓨터과학과에 한국인 최초로 박사과정 입학허가를 받아 1999년 입학하였고, Frank Pfenning 교수님의 지도아래 프로그래밍언어론과 전산논리학을 전공하여 2005년 8월 "A Programming Language for Probabilistic Computation"이라는 주제로 박사학위를 취득하였습니다. 2006년 1월부터 POSTECH 컴퓨터공학과에 재직중이며 프로그래밍언어 연구실을 운영하고 있습니다.

Research

Publications:

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]

Teaching

Courses that I taught since 2006:

• CSE-321 Programming Languages, Spring 2014. Course notes [PDF]
• CSE-433 Logic in Computer Science, Fall 2014. Course notes [PDF]
• CSE-321 Programming Languages, Spring 2014.
• CSE-433 Logic in Computer Science, Fall 2013.
• CSE-321 Programming Languages, Spring 2013.
• CSE-321 Programming Languages, Spring 2012.
• CSE-433 Logic in Computer Science, Fall 2011.
• CSE-321 Programming Languages, Spring 2011.
• CSE-433 Logic in Computer Science, Fall 2010.
• CSE-321 Programming Languages, Spring 2010.
• CSE-499 과제연구, Spring 2010.
• CSE-433 Logic in Computer Science, Fall 2009.
• CSE-321 Programming Languages, Spring 2009.
• CSE-499 과제연구, Fall 2008.
• EECS-101 전자계산입문 , Spring 2008. 강의교재 [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

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 포항공과대학교 컴퓨터공학과 37673
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 postech.ac.kr