Associate Professor 부교수
소프트웨어중심대학사업단장
강원지역혁신플랫폼 정밀의료사업부단장
Former Vice Dean, Office of Research Affairs 前 연구부처장
Programming Language and Machine Learning Laboratory 프로그래밍 언어 및 기계학습 연구실
Department of Computer Science and Engineering 컴퓨터공학과
Department of Convergence Security 일반대학원 융합보안학과
Interdisciplinary Graduate Program in Medical Bigdata Convergence 일반대학원 빅데이터메디컬융합학과
Kangwon National University 강원대학교
Email: hsim at kangwon dot ac dot kr
Office: Hanbit-gwan 307
[DBLP] [ResearchGate] [LinkedIn] [ORCID]
(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