Software engineer who regard logical thinking as important.