Affiliations
- Professor, Department of Computer Science and Engineering / 교수
- CIO, Office of Information Systems and Technology / 정보화본부장
- Director, National Center of Excellence in Software / 소프트웨어중심대학사업단장
- Director, AI Bootcamp Center / AI부트캠프사업단장
- Former Director, Division of Precision Medicine, Gangwon Regional Innovation Platform / 前 강원지역혁신플랫폼 정밀의료사업단장
- Former Vice Dean, Office of Research Affairs / 前 연구부처장
- Programming Language and Machine Learning Laboratory 프로그래밍 언어 및 기계학습 연구실
- Department of Computer Science and Engineering 컴퓨터공학과
- Department of Data Science 일반대학원 데이터사이언스학과
- Kangwon National University 강원대학교
Contact
- Email: hsim at kangwon dot ac dot kr
- Office: Hanbit-gwan 307
Announcement
- I am looking for motivated PhD/MS students and postdocs. If interested, send me an email with your full Curriculum Vitae and transcript. Currently, I only accept GKS-funded students, so you should check the K scholarship programs first before sending me an e-mail.
Research Interests
- Human-AI collaborative programming :: automatic program synthesis and repair
- Machine learning :: deep learning for smart healthcare :: machine learning for medicine
- Program analysis and verification :: static/dynamic program analysis :: smart contract analysis and verification
- Programming language theory :: types :: modules :: syntax and semantics
- Programming languages :: functional languages :: object-oriented languages :: XML processing languages :: dynamic/script languages
- Logic in computer science :: automated theorem proving :: modal logic
- Big data analysis and processing :: database query processing :: skyline queries :: XML queries :: top-k queries