I met Michael at 1975 Seminary. He was a student of John McCarthy, who was the first major figure in AI (and coined the term "artificial intelligence"). Michael wrote the first manual for "Lisp", the AI-ish language developed by McCarthy, and in the introduction, included the story of Milarepa's debate with the logicians! In the mid-eighties Tomek Pietrzykowski invited Michael to teach at Acadia University, in Nova Scotia, where he was instrumental in developing the "Prograph" pictorial programming language.