오토마타 이론
추상적인 계산 기계와 이를 통해 해결할 수 있는 문제를 연구하는 이론이다. 컴퓨터의 동작 원리를 수학적으로 모델링하여 계산 가능성과 효율성을 분석하며, 이는 현대 컴퓨터 과학의 모든 알고리즘과 하드웨어 설계의 핵심적인 기초가 된다.
튜링상 수상자 다나 스콧, 철학과 컴퓨터 과학의 가교 역할로 바와이즈 상 수상