Hyeonseung Im (임현승)

Hyeonseung Im (임현승)

Assistant Professor 조교수
Programming Language Laboratory 프로그래밍 언어 연구실
Department of Computer Science 컴퓨터과학과
Kangwon National University 강원대학교

Research Interests

  • Programming language theory :: type theory :: module systems :: syntax and semantics of programming languages
  • Programming languages :: functional languages :: object-oriented languages :: XML processing languages :: dynamic languages
  • Database query processing :: skyline queries :: XML queries :: top-k queries
  • Logic in computer science :: automated theorem proving :: modal logic
  • Program verification :: static program analysis
  • Machine learning :: deep learning

Publications

Hyeonseung Im (임현승)

Assistant Professor 조교수
Programming Language Laboratory 프로그래밍 언어 연구실
Department of Computer Science 컴퓨터과학과
Kangwon National University 강원대학교

Research Interests

  • Programming language theory :: type theory :: module systems :: syntax and semantics of programming languages
  • Programming languages :: functional languages :: object-oriented languages :: XML processing languages :: dynamic languages
  • Database query processing :: skyline queries :: XML queries :: top-k queries
  • Logic in computer science :: modal logic

Publications

Domestic Journals (in Korean)

  • 임현승, “스칼라 동시 프로그래밍,”
    정보과학회지, 제35권 제3호, pp. 16-21, 2017. 03
  • 임현승, “재귀 타입과 합집합 타입을 위한 코인덕션 서브타이핑,”
    정보과학회논문지, 제43권 제12호, pp. 1342-1350, 2016. 12
  • 임현승, 임정표, 박성우, “재귀 모듈을 위한 구문 기반 타입 시스템,”
    정보과학회 컴퓨팅의 실제 논문지, 제18권 제12호, pp. 926-930, 2012. 12

Domestic Conferences (in Korean)

  • 이종욱, 임현승, 김성수, “2차원 공간에서 효율적인 선형 스카이라인 알고리즘,”
    한국정보과학회 제43회 동계학술발표회, 2016. 12
  • 임현승, “XML 분석 및 처리를 위한 프로그래밍 언어 연구 동향,”
    한국정보과학회 한국빅데이터학회 공동학술 심포지엄, 2015. 06
  • 임현승, “XPath 후향축 표현식을 위한 타입 추론 기법,”
    한국정보처리학회 2015 춘계학술발표대회, 2015. 04 (우수논문상)
  • 임현승, 임정표, 박성우, “재귀모듈 프로그래밍을 위한 타입시스템의 설계,”
    한국정보과학회 2012 한국컴퓨터종합학술대회 (KCC), 2012. 06 (우수발표논문상)