I am a freelance programmer with several years of commercial experiance. I'm interested in functional programming, formal methods, artificial intelligence, and natural language processing.