▁but ▁escaped ▁from ▁the ▁Third ▁Reich , ▁arriv ing ▁in ▁the ▁UK ▁just ▁before ▁the ▁out break ▁of ▁the ▁Second ▁World ▁War . ▁ ▁As ▁an ▁enemy ▁al ien , ▁he ▁was ▁deport ed ▁on ▁the ▁Dun era ▁to ▁an ▁intern ment ▁camp ▁at ▁Hay ▁in ▁Australia ▁in ▁ 1 9 4 0 , ▁where ▁the ▁ 1 9 - year - old ▁Lö b ▁was ▁taught ▁mathematics ▁by ▁other ▁inter ne es . ▁ ▁His ▁teacher , ▁Felix ▁Be hr end , ▁was ▁later ▁a ▁professor ▁at ▁Melbourne ▁University . ▁ ▁Lö b ▁was ▁allowed ▁to ▁return ▁to ▁the ▁UK ▁in ▁ 1 9 4 3 , ▁and ▁he ▁studied ▁at ▁the ▁University ▁of ▁London ▁after ▁the ▁War . ▁After ▁gradu ating , ▁he ▁became ▁a ▁research ▁student ▁with ▁Re uben ▁Good stein ▁at ▁the ▁ ▁University ▁of ▁Le ic ester . ▁He ▁completed ▁his ▁Ph D ▁and ▁became ▁an ▁assistant ▁lect urer ▁at ▁the ▁University ▁of ▁Le eds ▁in ▁ 1 9 5 1 , ▁where ▁he ▁was ▁to ▁remain ▁for ▁ 2 0 ▁years , ▁becoming ▁a ▁Re ader ▁and ▁ultimately ▁Professor ▁of ▁Mathemat ical ▁Log ic ▁from ▁ 1 9 6 7 ▁to ▁ 1 9 7 0 . ▁He ▁developed ▁the ▁mathematical ▁logic ▁group ▁at ▁Le eds , ▁making ▁it ▁one ▁of ▁the ▁leading ▁cent res ▁in ▁the ▁UK . ▁Lö b ▁did ▁research ▁on ▁proof ▁theory , ▁modal ▁logic ▁and ▁comput ability ▁theory . ▁He ▁form ulated ▁Lö b ' s ▁theorem ▁in ▁ 1 9 5