연구실 목록
한요섭 교수 연구실
Theory of Computation Lab
연세대학교 · 컴퓨터과학과
정보 출처아직 확인되지 않음
교수 소개
한요섭 교수
교수 홈페이지·논문소개
한요섭 교수 연구실(Theory of Computation Lab)은 연세대 컴퓨터과학과 소속으로, 계산이론·오토마타와 형식언어, 자연어 처리를 연구한다.
연구 키워드
계산이론오토마타알고리즘정보검색자연어 처리뉴럴-심볼릭 연산
최근 논문
- CT-Miner: Fast and Coarse-Grained Time-Series Pattern Mining via Cartesian Trees프리프린트arXiv (Cornell University) · 10월 4일
- Grammar-Guided Code Watermarking with Green Temperature프리프린트arXiv (Cornell University) · 10월 4일
- SEW: Style-Encoded Watermarking of LLM-Generated Code프리프린트arXiv (Cornell University) · 9월 30일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Software Engineering Research
유신 교수 연구실
한국과학기술원 · 전산학부
Synthetic Semantic Supervision for Contrastive Code Representation Learning in Small Transformers: An Empirical Study새 논문프리프린트arXiv (Cornell University) · 9월 3일권영진 교수 연구실
한국과학기술원 · 전산학부
AgSpec: Pushing the Limits of Retrieval-Based Speculative Decoding in Coding Agent Pipelines프리프린트arXiv (Cornell University) · 10월 1일김기섭 교수 연구실
대구경북과학기술원 · 전자공학전공
Towards Automatically Pruning Logging Code with Coding Agents: How Far Are We?프리프린트arXiv (Cornell University) · 10월 3일
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
데이터 시각화, AI 안전 및 윤리, 휴먼-컴퓨터 인터랙션, 인간 중심 AI
- 김대현 교수 연구실모집 중
휴먼-컴퓨터 인터랙션, 휴먼-데이터 인터랙션, 휴먼-AI 인터랙션, 데이터 시각화, 멀티모달 인터랙션, 메타버스
- 김지응 교수 연구실모집 중
프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
- 박광현 교수 연구실모집 중
데이터 중심 인공지능, DBMS for ML lifecycle, ML 기반 DBMS 최적화, 빅데이터 시스템, 클라우드 시스템, 하드웨어-데이터 플랫폼 co-design
- 박영준 교수 연구실모집 중
딥러닝 컴파일러, GPU/NPU/PIM 대상 시스템 SW 최적화 (컴파일러, 런타임), 인공지능 가속기 설계 및 컴파일러 지원
- 송도경 교수 연구실모집 중
시스템 보안, 운영체제 보안, 바이너리 역공학, 프로그램 분석, 기밀 컴퓨팅