계산이론 연구실

한요섭 교수 · 계산이론, 오토마타, 알고리즘, 정보검색, 자연어 처리, 뉴럴-심볼릭 연산

문자열 패턴 탐색·마이닝과 언어모델의 신뢰성·제어를 연구한다. 시몽 합동관계에 기반한 부분수열 패턴 알고리즘, 생성 텍스트·코드의 워터마킹 및 언어모델의 동작을 이해하고 조정하는 방법을 다룬다.

소개 출처 ↗ · 공식 홈페이지의 연구 내용을 요약했습니다.