Retired professor of computer science who loves programming using theoretical foundations. Believes that computer science is that branch of mathematics in which homomorphisms cost money.