Theory of Computation Lab
Theory of Computation Lab
Yonsei University · Computer Science
Professor
Prof. 한요섭
Professor's page · publicationsAbout
한요섭 교수 연구실(Theory of Computation Lab)은 연세대 컴퓨터과학과 소속으로, 계산이론·오토마타와 형식언어, 자연어 처리를 연구한다.
Research keywords
Recent papers
- CT-Miner: Fast and Coarse-Grained Time-Series Pattern Mining via Cartesian TreesPreprintarXiv (Cornell University) · Oct 4
- Grammar-Guided Code Watermarking with Green TemperaturePreprintarXiv (Cornell University) · Oct 4
- SEW: Style-Encoded Watermarking of LLM-Generated CodePreprintarXiv (Cornell University) · Sep 30
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Software Engineering Research
Automated Debugging Lab
KAIST · School of Computing
Synthetic Semantic Supervision for Contrastive Code Representation Learning in Small Transformers: An Empirical StudyNewPreprintarXiv (Cornell University) · Sep 3Systems Lab
KAIST · School of Computing
AgSpec: Pushing the Limits of Retrieval-Based Speculative Decoding in Coding Agent PipelinesPreprintarXiv (Cornell University) · Oct 1Bridging AI and Software Engineering (BASE) Lab
Daegu Gyeongbuk Institute of Science and Technology (DGIST) · Electrical Engineering and Computer Science
Towards Automatically Pruning Logging Code with Coding Agents: How Far Are We?PreprintarXiv (Cornell University) · Oct 3
Other labs in this department
- Human-Data Interaction LabRecruiting
Min-Suk Kang
데이터 시각화, AI 안전 및 윤리, 휴먼-컴퓨터 인터랙션, 인간 중심 AI
- Human-Data Interaction Lab (HDIL)Recruiting
Dae-Hyun Kim
휴먼-컴퓨터 인터랙션, 휴먼-데이터 인터랙션, 휴먼-AI 인터랙션, 데이터 시각화, 멀티모달 인터랙션, 메타버스
- Formal Computing and AI Lab (FCAI)Recruiting
Jiyoung Kim
프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
- Big Data Systems & Artificial Intelligence Lab (BDAI)Recruiting
Kwang-Hyun Park
데이터 중심 인공지능, DBMS for ML lifecycle, ML 기반 DBMS 최적화, 빅데이터 시스템, 클라우드 시스템, 하드웨어-데이터 플랫폼 co-design
- Application-aware System Optimization Lab (ASO)Recruiting
Young-Joon Park
딥러닝 컴파일러, GPU/NPU/PIM 대상 시스템 SW 최적화 (컴파일러, 런타임), 인공지능 가속기 설계 및 컴파일러 지원
- Secure Systems Lab (SSLab)Recruiting
Do-Kyoung Song
시스템 보안, 운영체제 보안, 바이너리 역공학, 프로그램 분석, 기밀 컴퓨팅