Software engineer and mathematician.