제4공학관 D724호
연구 분야
프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
주요 경력
2024.09~현재: 조교수, 연세대학교 컴퓨터과학과
2022.09~2024.08: 조교수, 인하대학교 컴퓨터공학과
2020.05~2022.08: 리서치 엔지니어 – 구글 리서치 Cerebra 팀, 소프트웨어 엔지니어 – 구글 코어 ML 모델 최적화 팀
2019.06~2020.04: 박사후 연구원, 예일대학교
2022.09~2024.08: 조교수, 인하대학교 컴퓨터공학과
2020.05~2022.08: 리서치 엔지니어 – 구글 리서치 Cerebra 팀, 소프트웨어 엔지니어 – 구글 코어 ML 모델 최적화 팀
2019.06~2020.04: 박사후 연구원, 예일대학교
주요 학술활동
APLAS 2023 Program Committee
APSEC 2023 Program Committee
PLDI 2025 Local Chair