연구실 목록
류석영 교수 연구실
Sukyoung Ryu
한국과학기술원 · 정보보호대학원
정보 출처아직 확인되지 않음
교수 소개
류석영 교수
교수 홈페이지·논문소개
프로그래밍 언어 연구실(PLRG)을 이끌며 프로그래밍 언어, 컴파일러, 프로그램 분석, 프로그래밍 환경을 연구한다. 다양한 언어로 작성된 소프트웨어의 결함을 예측·탐지하는 정적 분석 기법을 개발하며, 특히 자바스크립트 웹 애플리케이션 분석과 WebAssembly·Rust 등을 다룬다. 추상해석 기반의 결함 탐지 프레임워크는 국내외 여러 기관에서 활용되고 있다.
연구 키워드
Programming languagesprogram analysiscompilers
같은 학과의 다른 연구실
- 신승원 교수 연구실모집 중
Network security, software-defined networking
- 한민기 교수 연구실모집 중
Computational theory, secure computing
- 허기홍 교수 연구실모집 중
Computational theory, software design, secure computing
- 한준 교수 연구실모집 중
System/network, secure computing, interactive computing
- 강병훈 교수 연구실
System security, trustworthy AI systems, network distributed systems, blockchain, malware defense
- 김용대 교수 연구실
Network and distributed system security, applied cryptography