연구실 목록
양홍석 교수 연구실
Concurrency Lab
한국과학기술원 · 전산학부
정보 출처아직 확인되지 않음
교수 소개
양홍석 교수
교수 홈페이지·논문소개
양홍석 교수는 2017년 7월부터 KAIST 전산학부 정교수로 재직 중이다. 프로그래밍 언어(PL)와 머신러닝(ML)의 경계에서 발생하는 문제, 특히 확률적 프로그래밍과 확률적 추론, 논리 기반 PL 기법과 데이터 기반 ML 기법을 결합한 하이브리드 프로그램 분석을 연구한다. 분리 논리(separation logic) 자동화 연구로 2016 CAV Award, 2019·2023 POPL Most Influential Paper Award를 수상했다.
연구 키워드
Concurrent ProgrammingProgram Verification
대표 논문
- Optimising Density Computations in Probabilistic Programs via Automatic Loop VectorisationACM POPL · 2026
- Semantics of Integrating and Differentiating SingularitiesACM PLDI · 2025
- Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal SetsACM POPL · 2024
- An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural NetworkICML · 2024
- Smoothness Analysis for Probabilistic Program with Application to Optimised Variational InferenceACM POPL · 2023
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
Network and distributed system security
- 권영진 교수 연구실모집 중
Operating systems, system security
- 김민수 교수 연구실모집 중
Databases, data mining/machine learning, medical/bioinformatics
- 김주호 교수 연구실모집 중
HCI, human-AI interaction, social computing, crowdsourcing, online education
- 김현우 교수 연구실모집 중
AI, computer vision, machine learning
- 문수복 교수 연구실모집 중
Network platforms, online social networks