A finalizer is a mechanism in programming that allows for cleanup operations to be performed before an object is garbage collected. It is used to release resources like memory, file handles, or network connections that are not automatically managed by the garbage collector.