A 1954 PhD thesis on compilers, translated to English: https://www.itu.dk/people/sestoft/boehmthesis/boehm.pdf
Interesting that Paul Bernays was a supervisor. Bernays did much of the mathematical-logic work we commonly think of as Hilbert's. (It was said where I read this that this was a common pattern in German academics of the day.)
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!