Dr. Karel Culik is an outstanding applied mathematician, a specialist in algebra, logic, computer sciences and mathematical linguistics. In 1965, he visited the linguistics research program at MIT, and we have worked together on several projects since.