"Writing software that's safe even in the presence of bugs makes the challenge even more interesting."