텍사스 대학교 오스틴 (UT Austin) AI & 컴퓨터 과학 연구실

[원문 보존] 미국 내 컴퓨터 과학 Top 10을 확고히 지키고 있는 UT Austin 컴퓨터 과학과의 공식 포털입니다. 인공지능, 컴퓨터 시스템, 이론 컴퓨터 과학 및 학제 간 융합 연구를 총괄합니다.

[원문 보존] 인공지능, 컴퓨터 비전, 자연어 처리, 자율 로봇, 정형 검증, 암호학 및 분산 컴퓨팅 등 UT Austin CS에서 수행되는 모든 세부 연구 분야의 전체 색인 페이지입니다.

[원문 보존] UT Austin의 모든 AI 관련 연구를 아우르는 본산으로, 자연어 처리, 기계 학습, 신경망, 지능 로보틱스, 지식 표현 연구의 거점입니다. 출판 논문 및 핵심 프로젝트 정보를 제공합니다.

[원문 보존] 대규모 지식 기반(Knowledge Bases), 의미론적 질문 답변, 기호 논리 추론 및 상식 지식의 공학적 모델링을 선도한 연구 그룹입니다.

[원문 보존 & 최신 MLL] 레이 무니(Ray Mooney) 교수를 주축으로 자연어 학습, 귀납 논리 프로그래밍(ILP)을 개척했으며, 현재 NSF IFML을 이끄는 전미 최고 수준의 머신러닝 연구소(ml.utexas.edu)로 확장 발전했습니다.

[원문 보존] 유전 알고리즘으로 인공신경망의 토폴로지와 가중치를 동시 진화시키는 NEAT(NeuroEvolution of Augmenting Topologies) 알고리즘을 탄생시킨 신경진화(Neuroevolution) 연구의 세계 최고 거점입니다.

[원문 보존] 행동과 변화에 관한 형식적 추론, 비단조 논리(Nonmonotonic Reasoning), 선언적 문제 해결 패러다임인 답집합 프로그래밍(Answer Set Programming, ASP)의 이론적 기초를 확립한 세계적 논리 연구 그룹입니다.

[원문 보존] 물리적 세계를 정성적 모델로 시뮬레이션하는 QSIM 알고리즘을 개발하고, 이를 로봇의 공간 인지 계층 모델(SSH) 및 지능형 휠체어/자율주행 로봇에 접목시킨 개척 연구 그룹입니다.

[원문 보존] 인간의 언어 습득 과정을 머신러닝 기법으로 모델링하고, 자연어 문장을 실행 가능한 컴퓨터 명령어로 변환하는 시맨틱 파싱(Semantic Parsing)의 기초를 닦은 연구 그룹입니다.

[원문 보존 & 최신 운영] 세계 최대 로봇 AI 경진대회인 로보컵(RoboCup) 3D 시뮬레이션 및 표준 플랫폼 부문에서 수차례 세계 챔피언을 차지한 전설적인 연구팀으로, 피터 스톤(Peter Stone) 교수가 이끄는 멀티에이전트 강화학습의 최고봉입니다.

[원문 보존] AMD 프로세서 등 산업계 마이크로프로세서와 핵심 소프트웨어의 버그를 수학적으로 증명하는 데 사용되는 세계 최강의 정리 증명 시스템 ACL2(A Computational Logic for Applicative Common Lisp)의 본거지입니다.

[원문 보존] 소프트웨어의 사양이 올바르게 작성되었는지 검증하고, 수학적 공리에 기초하여 프로그램의 정확성을 논리적으로 유도·증명하는 정형기법 연구 그룹입니다.

[원문 보존] 고성능 컴퓨터 하드웨어 아키텍처를 위한 자동 최적화 컴파일러 기술, 동적 JIT 컴파일 기법 및 프로그래밍 언어의 효율적 구현을 연구한 그룹입니다.

[원문 보존] 스콧 애런슨(Scott Aaronson, 양자 컴퓨팅 대가), 데이비드 저커먼(David Zuckerman) 등 세계적 석학들이 이끄는 이론 컴퓨터 과학 그룹으로, 무작위 알고리즘, 계산 복잡도 및 양자 알고리즘을 연구합니다.

[원문 보존] 초대형 유전체 시퀀스 데이터로부터 생명의 진화 계통수(Phylogenetic Tree)를 빠르고 정확하게 재구성하는 대규모 조합 최적화 알고리즘을 연구한 그룹입니다.

[원문 보존] 높은 수준의 요구사항 명세와 객체 뷰(Views)로부터 효율적인 실행 코드를 자동으로 합성하고 조립하는 자동 프로그래밍의 선구적 연구입니다.

[원문 보존] 복잡한 병렬 하드웨어 상에서 프로그램의 동시성과 데이터 종속성을 시각적 그래프 형태로 모델링하여 안전하게 병렬 처리하는 CODE 시스템 연구 그룹입니다.

[원문 보존] 거대 소프트웨어 시스템을 모듈식 피처(Features) 단위로 조합·생성하는 피처 지향 소프트웨어 개발(FOSD) 및 소프트웨어 제품군 공학의 표준을 세운 연구 그룹입니다.

[원문 보존] 대규모 미분방정식 풀이, 기계학습 행렬 연산의 극단적 성능 최적화를 가능케 하는 고성능 수치 선형대수 알고리즘을 개발한 과학 계산 연구 그룹입니다.

[원문 보존] 초대형 네트워크 그래프 분석, 소셜 데이터 마이닝, 고차원 희소 행렬 분해 알고리즘 분야에서 독보적 오픈소스 프레임워크를 발표한 세계적인 데이터 과학 연구실입니다.

[원문 보존] 수천 대의 컴퓨터가 연결된 분산 메모리 슈퍼컴퓨터에서 밀집 행렬 연산을 최고 효율로 처리하는 선형대수 패키지 PLAPACK을 설계·구현한 그룹입니다.

[원문 보존] 대규모 과학 계산 데이터와 의료 영상 데이터를 3차원 입체 그래픽스로 렌더링하고 시각 분석을 지원하는 인터랙티브 비주얼라이제이션 연구입니다.

[원문 아카이브 보존] 인공지능 교과서의 선구적 저자인 일레인 리치(Elaine Rich) 박사가 1983년 AAAI(미국인공지능학회) 공식 학술지 <AI Magazine>에 기고한 UT Austin의 초창기 AI 연구 역사를 집대성한 귀중한 원문 사료입니다.