Software Engineer and early employee at Tachyus. Interested in software correctness, strongly-typed functional languages, F#, and type theory.