¹Ú¼º¿ì Sungwoo Park - ȯ¿µÇÕ´Ï´Ù Welcome!


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.


Research

I am interested in programming language theory and logic in computer science. I am working on logics for program verification, proof theory, type systems for new programming languages, and database applications.

Current events:

Current work: Publications:
  1. Hyeonseung Im, Keiko Nakata, and Sungwoo Park. Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types. ICALP 2013. [PDF]
  2. Jonghyun Park, Jeongbong Seo, Sungwoo Park, and Gyesik Lee. Mechanizing Metatheory without Typing Contexts. Journal of Automated Reasoning, April 2013. [Webpage] (with a solution to the POPLmark challenge)
  3. Jonghyun Park, Jeongbong Seo, and Sungwoo Park. A Theorem Prover for Boolean BI. POPL 2013. [Webpage] (¼ø¼ö Çѱ¹´ëÇÐ ÃÖÃÊ)
  4. Dongwon Kim, Hyeonseung Im, and Sungwoo Park. Computing Exact Skyline Probabilities for Uncertain Databases. IEEE Transactions on Knowledge and Data Engineering (TKDE), December 2012. [PDF]
  5. Hyeonseung Im and Sungwoo Park. Group Skyline Computation. Information Sciences 188:151-169, April 2012. [PDF]
  6. Sungwoo Park and Hyeonseung Im. A Modal Logic Internalizing Normal Proofs. Information and Computation 209(12):1519-1535, October 2011. [PDF]
  7. Hyeonseung Im, Keiko Nakata, Jacques Garrigue, and Sungwoo Park. A Syntactic Type System for Recursive Modules. OOPSLA 2011. [PDF] (Çѱ¹ µÎ¹øÂ°, Æ÷½ºÅØ µÎ¹øÂ°)
  8. Hyeonseung Im, Jonghyun Park, and Sungwoo Park. Parallel skyline computation on multicore architectures. Information Systems 36(4):808-823, June 2011. [PDF]
  9. Sungwoo Park and Hyeonseung Im. A calculus for hardware description. Journal of Functional Programming 21(1):21-58, January 2011. [PDF]
  10. Sungwoo Park and Hyeonseung Im. Type-safe higher-order channels with channel locality. Journal of Functional Programming 19(1):107-142, January 2009. [PDF]
  11. Sungwoo Park and Seung-won Hwang. A logical account of uncertain databases based on linear logic. ICDT 2009. [PDF] (Çѱ¹ ÃÖÃÊ)
  12. Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, and Hyeonseung Im. Parallel skyline computation on multicore architectures. ICDE 2009. [PDF]
  13. Sungwoo Park, Frank Pfenning, and Sebastian Thrun. A probabilistic language based upon sampling functions. TOPLAS 31(1), December 2008. [PDF]
  14. Sungwoo Park, Jinha Kim, and Hyeonseung Im. Functional netlists. ICFP 2008. ACM SIGPLAN Notices 43(9), September 2008. [PDF] (Çѱ¹ µÎ¹øÂ°)
  15. Sungwoo Park. Type-safe higher-order channels in ML-like languages. ICFP 2007. ACM SIGPLAN Notices 42(9), September 2007. [PDF] (Çѱ¹ ÃÖÃÊ)
  16. Sungwoo Park. A modal language for the safety of mobile values. APLAS 2006. LNCS 4279, pp. 217--233, 2006. [PDF]
  17. Sungwoo Park, Frank Pfenning, and Sebastian Thrun. A probabilistic language based upon sampling functions. POPL 2005. ACM SIGPLAN Notices 40(1), January 2005. [PDF] (¹Ú»ç°úÁ¤ ¿¬±¸ °á°ú)
  18. Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, and Sungwoo Park. The inverse method for the Logic of Bunched Implications. LPAR 2004. LNAI 3452, pp. 466-480, March 2005. [PDF]
  19. Sungwoo Park. A calculus for probabilistic languages. TLDI 2003. ACM SIGPLAN Notices 38(3), March 2003. [PDF]
  20. Sungwoo Park and Taisook Han. Iterative inversion of fuzzified neural networks. IEEE Transactions on Fuzzy Systems 8(3):266-280, June 2000. [PDF] (KAIST ¼®»çÇÐÀ§ ³í¹®)
  21. Sungwoo Park and Taisook Han. Object-oriented VRML for multi-user environments. VRML 97. [ACM DL] (óÀ½À¸·Î ÇÐȸ¿¡ ¹ßÇ¥ÇÑ ³í¹® :-))

Students

Past students:


Personal


Travel ¿©Çà


Teaching


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.ac.kr
[gmail.com, yahoo.com, samsung.comÀ» Á¦¿ÜÇÑ .com, .net, .co.kr, .or.kr, .info ¸ÞÀÏÀº ¸ðµÎ spamÀ¸·Î 󸮵˴ϴÙ]