A formal or historical term for an official who carries out executions.
The medieval executioner was an official who carried out death sentences.
hangman
Compound of 刑 (punishment, penalty) and 吏 (official, officer). The exact historical derivation is uncertain, but the kanji combination directly conveys 'punishment officer'.