Holzmann is a German surname. Notable people with the surname include:
* Abe Holzmann (1874–1939), German/American composer, who is most famous today for his march ''Blaze-Away''
*
Gerard J. Holzmann
Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
Biography
Holzmann was born in Amsterdam, Netherlands and received an Engineer ...
(born 1951), American computer scientist, best known as the developer of the SPIN model checker
* Felix Holzmann (1921–2002), Czech comedian
*
Johannes Holzmann
Johannes Holzmann (30 October 1882 – 28 April 1914) was a German anarchist writer and activist who generally went by the pseudonym Senna Hoy.
Early life and Berlin
Holzmann, born on 30 October 1882 in Tuchel, Prussia (now Tuchola, Poland), hai ...
(1882–1914), German anarchist
*
Marcel Holzmann
Marcel Holzmann (born 3 September 1990) is an Austrian professional footballer who plays as a defender for German club Phönix Lübeck. Olly Holzmann (1915–1995), Austrian actress
* Thomas Holzmann (born 1987), German professional ice hockey forward
See also
* Philipp Holzmann, German construction company based in Frankfurt am Main
*
Holzman Holzman is a surname. Notable people with the surname include:
*Adam Holzman (guitarist) (born 1960), American classical guitarist
* Adam Holzman (keyboardist) (born 1958), American jazz keyboardist
*Eli Holzman (born 1974), American creator–deve ...