Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of
software engineering, especially on
formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.