Affiliations

• Professor 교수
• 소프트웨어중심대학사업단장
• 강원지역혁신플랫폼 정밀의료사업부단장
• 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