Finite model theory is a subarea of model theory. Model theory is the branch of logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). Finite model theory is a restriction of model theory to interpretations on finite structures, which have a finite universe.

Serge Joseph Abiteboul is a French computer scientist working in the areas of data management, database theory, and finite model theory.