소프토피아 Softopia, Inc. (2013.10.18-)

Softopia

  • CEO, 도경구 Doh Kyung-Goo
  • CTO, 김현하 Kim Hyunha

프로그래밍언어연구실 PLASSE (1995.9-2023.2)

PLASSE

Students

Ph.D.

  • 정승철 Jeong Seung Cheol
  • 홍성문 Hong Sung Moon (2014.9 ~)

Alumni

Ph.D.

Academic Genealogy

  1. 이효섭 Lee Hyosub (2013) : 한국폴리텍대학(Korea Polytechnics), Dissertation: Automatic Detection of Code Clones based on Tree Patterns
  2. 김현하 Kim Hyunha (2013) : 소프토피아(Softopia), Dissertation: Static Validation of Web Pages based on Abstract Parsing
  3. 최태형 Choi Tae-Hyoung (2017) : 지티원(GTOne), Dissertation: Generation a Path-discriminated String Analysis
  4. Nurul Atiqah Abu Talib (2022) : Universiti Kuala Lumpur, Dissertation: Detecting Cross-Site Scripting Attacks By Machine-Learning-Based Text Classification Through Normalizing Input Payloads

M.S.

  1. 곽노건 (1998.8) : KMINT
  2. 강현구 (1999.2) : 에스코어, Ph.D.(KAIST)
  3. 최기환 (1999.8) : 한양대학교 ERICA
  4. 강건우 (2000.8) :
  5. 서정호 (2001.2) : 삼성전자
  6. 조영갑 (2002.2) : 소프트캠프
  7. 최태형 (2002.2) : 지티원, Ph.D.(한양대)
  8. 천성필 (2002.8) : 지티원
  9. 강영환 (2003.2) : 신한생명
  10. 박종서 (2003.2) : AP위성
  11. 서재영 (2003.2) :
  12. 이수강 (2003.2) :
  13. 임흥태 (2004.2) : 신도리코
  14. 윤지영 (2004.2) : 보험개발원
  15. 이보규 (2004.8) : LG전자
  16. 김동환 (2005.2) : Marvell Semiconductor
  17. 김정준 (2005.2) : Qualcomm
  18. 김현하 (2005.8) : Softopia, Ph.D.(한양대)
  19. 김동현 (2006.2) : (LG전자)
  20. 이상훈 (2007.2) : 삼성전자
  21. 김정훈 (2007.2) : 하이닉스
  22. 이상용 (2007.2) : KOMSCO
  23. 정혜령 (2007.2) : LG전자
  24. 김형철 (2008.2) : 모다콤
  25. 조소희 (2009.2) :
  26. 오세광 (2009.8) : 위너스텍
  27. An Dimin 안제민 (2010.2) :
  28. Suman Saha (2010.2) : Penn State University Altoona, Ph.D.(INRIA, France)
  29. Shahid Ansari (2010.2) :
  30. Noman Zahid (2010.2) :
  31. Muhammad Saleem (2010.8) :
  32. 김성진 (2011.2) : LG전자
  33. 남경덕 (2011.2) : LG전자
  34. 송호길 (2012.2) : 슈어소프트테크
  35. Jin Shizhen 김세진 (2012.2)
  36. 박진원 (2012.8) : 코인원
  37. Feng Kan 풍간 (2012.8) : NIO
  38. 김인 (2013.2) :
  39. Muhammad Suleman (2013.8) : Mohammad Ali Jinnah University, Pakistan
  40. 홍성문 (2014.8) : 한양대학교 박사과정
  41. 오정욱 (2015.2) : 지티원
  42. 박현우 (2015.8) : Attoresearch
  43. 최민영 (2016.2)
  44. 최성하 (2016.2) : KORBIT
  45. 이정훈 (2017.2) : 지티원
  46. 조상원 (2018.2) : 파수닷컴
  47. 박건우 (2019.8) : KORBIT
  48. 양준혁 (2022.8) : 지티원
  49. 모지환 (2023.2) : 지티원

산업경영대학원

  1. 김재형 (생산자동화전공, 1998)
  2. 박범수 (정보기술전공, 1998+) : 전자상거래를 위한 전자지불시스템에 관한 조사연구
  3. 방재현 (컴퓨터전공, 2000) : 반도체 생산 공정에서의 객체지향 설계기술 도입에 관한 연구
  4. 윤인석 (컴퓨터전공, 2002) : 스마트카드를 통한 사용자 인증시스템의 구현

Visiting Scholars

  • Kim Sewon (2011.4 ~ 2013.1)
  • Professor David A. Schmidt, Kansas State University, U.S.A.
    • Oct 30 ~ Nov 5, 2010
    • September 18 ~ Oct 4, 2009
    • May 7 ~ 15, 2008
  • Yukyong Kim (2007 ~ 2013)
  • Morten Rhiger, DAIMI, Aarhus University, Denmark, (1998.1 ~ 5)

Lab Memebrs

  • Norhafizah Binti Nizar (2013.9 ~ 2021)
  • Baljinnyam Baasan-Ochir (2019.3 ~ 2021)

Undergraduate Interns

  • 엄태호 (2020.11 ~ )
  • 장효석 (2020.11 ~ )
  • 모지환 (2018.3 ~ 2021.2)
  • 박성우 (2017.3 ~2020.2)
  • 이제형 (2015.11~2019.2)
  • 박건우 (2015.1 ~ 2017.2)
  • 이정균, 조창연, 강현구 (2010.7 ~ 2011.6)
  • 이준 (2011.7 ~ 2012.6)
  • 이은수 (2011.7 ~ 2013.7)
  • 최민영 (2011.7 ~ 2014.2)
  • 이시야 (2011.7 ~ 2012.11)
  • 이정훈 (2012.3 ~ 2015.2)
  • Mudit Gupta, IIT, India (Summer 2012)
  • Vinita Chaudhary, IIT, India (Summer 2013)
  • Pallavi Bansal, Indian Institute of Information Technology and Management, India (2006.6.26 ~ 8.3)

Invited Lectures

  • [2017.11.21] Joshua Choi : ‘컴퓨팅사고와 문제해결’ 초청강연
  • [2017.7.10] Il-Yeol Song (Drexel University, U.S.A) : Smart Aging
  • [2011.5.27] Yeong-Tae Song (Towson University, U.S.A.) : Implementing Interoperability using an IHE Profile for Transport Medicine
  • [2011.5.12] 김태일 (FSK시큐리티) : Fuzzing과 Exploits의 개념과 시연
  • [2010.11.3] David Schmidt (Kansas State University, U.S.A.) : Namespace-based Language Modeling
  • [2009.9.30] David Schmidt (Kansas State University, U.S.A.) : Programs are circuits, and knowledge travels through the wires
  • [2008.12.30] 안기영 (Portland State University, U.S.A.) : 공유 하위타입 - 되돌기와 타입 인자를 포함하는 대수적 자료형에 대한 하위타입 (Shared Subtypes: Subtyping recursive parametrized algebraic data types)
  • [2008.7.21] 이계식 (AIST, Japan) : Inductive Definitions and Recursive Functions in Type Theory
  • [2008.5.7~15] David Schmidt (Kansas State, U.S.A.) : Introduction to Software Architecture
  • [2000.1] 창병모 (숙명여대) : 프로그램분석
  • [1999.11.20] David Schmidt (Kansas State, USA) : Model Checking and Abstraction
  • [1998.3.30-31] Olivier Danvy (Aarhus, Denmark) : Partial Evaluation
  • [1998.3.18] Morten Rhiger (Aarhus, Denmark) : A Study in Higher-order Programming Language
  • [1998.2.23] 최진영 (고려대) : Symbolic Weak Bisimulation
  • [1997.11.7] 류재철 (충남대) : 전자상거래보안
  • [1997.5.16] 김태완 (SDRC, USA) : 고객신발디자인
  • [1995.12.8] Harvey Abramson (University of Aizu, Japan) : A Logic Programming View of Relational Morphology