Mathematical semantics is a branch of computer science that studies the mathematical structures and techniques used in the formalization of programming languages and systems.