연세대학교컴퓨터과학과·인공지능학과최근 탑티어 활발

계산이론

한요섭 교수 (Yo-Sub Han)

탑티어 논문: 17
전체 논문: 53
구성원: –

연구실 소개

이 연구실은 정규표현식의 합성·변환·최소화와 취약점 수정, 형식언어와 오토마타의 성질 및 패턴 매칭을 연구합니다. 또한 LLM이 생성한 텍스트와 코드의 워터마킹·탐지, 워터마크 공격, 코드 시간 복잡도 예측과 코드 생성 평가를 다룹니다. 이와 함께 암묵적 혐오 표현 탐지와 논리적 설명을 활용한 테스트 케이스 생성도 연구합니다.

AI가 최신 논문을 바탕으로 생성한 연구실 소개예요

연구 분야

대규모 언어 모델 멀티모달 경량화·효율 AI 지속·전이 학습 표현·자기지도 학습 음성·오디오

계산이론 · 오토마타 · 알고리즘 · 정보검색 · 자연어 처리 · 뉴럴-심볼릭 연산 · Theory of computation · Automata theory · Algorithm design · Information retrieval · Natural Language processing · Neural-symbolic model

컨택 준비

먼저 읽어 볼 최근 논문

A Linguistics-Aware LLM Watermarking via Syntactic PredictabilityACL 2026 탑티어
ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code GenerationACL 2026 탑티어
ReSyn: A Generalized Recursive Regular Expression Synthesis FrameworkIJCAI 2026 탑티어

컨택 메일 쓰는 법

연도별 논문

자주 내는 학회

정보가 틀렸거나 삭제를 원하시면 [email protected]로 알려 주세요.

비슷한 연구를 하는 연구실

머신러닝 연구실
서울대 송현오 교수
탑티어 12전체 13구성원 5
대규모 언어 모델경량화·효율 AI
HLILab
성균관대 박진영 교수
탑티어 7전체 17구성원 –
대규모 언어 모델추천·검색
Machine Learning Lab
POSTECH 김동우 교수
탑티어 54전체 66구성원 33
대규모 언어 모델그래프 학습
언어 기계 학습
연세대 김재형 교수신생 랩
탑티어 33전체 39구성원 –
대규모 언어 모델AI 안전·정렬
언어 및 데이터지능 연구실
서울대 황승원 교수
탑티어 64전체 74구성원 –
대규모 언어 모델추천·검색
언어 및 지능 연구실, Language and Intelligence Laboratory
고려대 장부루 교수신생 랩모집 안내
탑티어 10전체 13구성원 12
대규모 언어 모델AI 안전·정렬

연구실	대학	주요 주제	탑티어 논문	전체 논문	구성원
머신러닝 연구실송현오 교수	서울대	대규모 언어 모델경량화·효율 AI학습 이론·최적화	12	13	5
HLILab박진영 교수	성균관대	대규모 언어 모델추천·검색	7	17	–
Machine Learning Lab김동우 교수	POSTECH	대규모 언어 모델그래프 학습생성 모델·디퓨전	54	66	33
언어 기계 학습김재형 교수신생 랩	연세대	대규모 언어 모델AI 안전·정렬로봇 학습	33	39	–
언어 및 데이터지능 연구실황승원 교수	서울대	대규모 언어 모델추천·검색지속·전이 학습	64	74	–
언어 및 지능 연구실, Language and Intelligence Laboratory장부루 교수신생 랩모집 안내	고려대	대규모 언어 모델AI 안전·정렬멀티모달	10	13	12