He fled from Estonia in 1941 in fear of Soviet terror, and spent the following eight years in Germany (living in Werneck, Berlin, and Gleiwitz in Eastern Germany), where he continued to work as an architect.
Harald Ganzinger (October 31, 1950, Werneck – June 3, 2004, Saarbrücken) was a German computer scientist that together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.
Werneck |
In 2004 a biopic film starred by Daniel de Oliveira and directed by Sandra Werneck called Cazuza: O Tempo não Para ("Cazuza: Time Doesn't Stop") was released.