Programming Language Laboratory - Welcome!

Computer Science and Engineering Department
Pohang University of Science and Technology

Members

• Members
  - 박성우, Sungwoo Park
  - Dinh Hoang Mai
  - Le Minh Hoang
  

• Past Students
  - 임현승, Hyeonseung Im (PhD 06). Thesis: A Syntactic Type System for Recursive Modules. Defended in August 2012. Postdoc at INRIA. Assistant professor at 강원대.
  - 손민영, Minyoung Son (MS 06). SAIT (삼성전자 종합기술원).
  - 김진하, Jinha Kim (MS 06). POSTECH Data Mining 연구실.
  - 김태경, Taekyung Kim (MS 07). 중소기업은행.
  - 박종현, Jonghyun Park (PhD 08). Thesis: A Theorem Prover for Boolean BI. Defended in December 2012. Samsung Electronics.
  - 김동원, Dongwon Kim (PhD 09). SK.
  - 임정표, Jeongpyo Lim (MS 09). 현대 모비스.
  - 서정봉, Jeongbong Seo (MS 11). Samsung Electronics.
  - 박형철, Hyungchul Park (MS 12). Google.
  - 이원열, Wonyeol Lee (Undergraduate 13). PhD student at Stanford Computer Science.
  - Dinh Hoang Mai (MS 14). POSTECH Programming Language 연구실.
  

연구 결과

• A Proof System for Separation Logic with Magic Wand
• A theorem prover for intuitionistic modal logic S5
• BBeye: A Theorem Prover for Boolean BI (Bunched Implications)
• Mechanizing Metatheory without Typing Contexts
• Judgmental subtyping systems with intersection types and modal types
• PGG (Parser Generator Generator for functional languages)
• QuickParanoid

Life @ 프로그래밍 언어 연구실

• 우리들의 이야기 (Our Story)

Office: PIRL, 354
Phone: +82-54-279-5878

Web page maintained by Sungwoo Park