A few years before the Ferranti Mark 1, Turing was involved with the programs for the Mark 1's predecessor: Baby (1948) [1], the worlds first stored-program computer, which as you mentioned was based on his Turing Machine (1936).

I learned about Turing as part of Baby's and the Mark 1s history first before any wartime efforts as I did my BSc at the University of Manchester. Also only later would I realise the honour of Tom Kilburn handing me my degree when I graduated and having nice chat with as well.

* [1] https://en.wikipedia.org/wiki/Manchester_Baby#First_programs