Mathematician turned software engineer. Researched at postdoctoral level in an area of mathematical logic called Model Theory.