Alan Bundy [SEP] educated at
Alan Bundy
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof-planning, the use of meta-level reasoning to guide proof search.
Education.
Alan Bundy was educated as a mathematician, obtaining an honours degree in Mathematics in 1968 from the University of Leicester and a PhD in Mathematical Logic in 1971, also from Leicester.
Career and research.
Since 1971, Bundy has worked at the University of
Ellis Foote
Ellis Foote (16 Nov 1911 – 8 Sep 1991) was an American poet. Largely self-educated, the vibrant, experimental work he published in the 1940s, largely unknown today, endeared him to such Western literary figures as Vardis Fisher and Alan Swallow, and may have influenced writers of the Beat Generation.
Life.
Foote was born near Quitchumpah Creek in Emery County, Utah. He attended school only through the ninth grade, and was largely self-educated, taking classes at Brigham Young