교수소개
- 박지혁 교수
-
전공분야
프로그래밍 언어, SW 분석 (취약점 검출) -
E-mail
jihyeok_park@korea.ac.kr - 전화번호: 02-3290-4602
- 홈페이지: https://plrg.korea.ac.kr/
- 연구분야: Mechanized Language Specification, Double Debugger / Type Analysis, Automated Testing / Program Synthesis, Parametric Static Analysis
- 연구실: 과학도서관 609A호
- 김영근 교수
-
전공분야
컴퓨터 구조/시스템 최적화 -
E-mail
younggeun_kim@korea.ac.kr - 전화번호: 02-3290-4609
- 홈페이지: https://casl.korea.ac.kr
- 연구분야: Architecture/System Optimization for Deep Learning, Secure Deep Learning System
- 연구실: 우정정보관 409A호
- 우승훈 교수
-
전공분야
소프트웨어 보안 -
E-mail
seunghoonwoo@korea.ac.kr - 홈페이지: https://ssp.korea.ac.kr
- 연구분야: Software security, Vulnerability detection, Software composition analysis, Supply chain security
