형식 의미론
프로그래밍 언어나 자연어의 의미를 수학적 논리 체계를 사용하여 엄밀하게 정의하는 방법론이다. 소프트웨어의 정확성을 검증하거나 언어 모델의 논리적 구조를 파악하는 데 필수적이며, 시스템의 신뢰성을 높이는 데 중대한 역할을 한다.
튜링상 수상자 다나 스콧, 철학과 컴퓨터 과학의 가교 역할로 바와이즈 상 수상