doctoral_advisor work_institution birth_place image_size nationality field birth_date residence image article_title name alma_mater
-lrb- dana scott msc -rrb- robin gandy -lrb- d.phil . -rrb- university of edinburgh oxford , united kingdom 150px british logician , computer scientist , mathematician 12 september 1950 scotland , united kingdom michael_fourman_july_2006 . jpg michael fourman
 michael paul fourman bsc . . bristol ; msc , dphil . oxford
michael fourman

michael paul fourman fbcs -lrb- born 12 september 1950 -rrb- is professor of computer systems at the university of edinburgh in scotland , uk , and was head of the school of informatics from 2001 -- 2009 .
fourman is interested in applications of logic in computer science , artificial intelligence , and cognitive science -- more specifically , formal models of digital systems , system design tools , proof assistants , categorical semantics and propositional planning .
