Michael Fourman

Michael Fourman is a Professor of Computer Systems at the School of Informatics, University of Edinburgh, within the College of Science and Engineering. His research focuses on applications of logic in Computer Science, Artificial Intelligence, and Cognitive Science, with contributions to formal methods, programming language semantics, and hardware specification. He has advised numerous PhD students and collaborated on EPSRC-funded projects, including work on probabilistic reasoning and program development tools like PropPlan.

His research interests bridge mathematical logic, computer science, and cognitive science, emphasizing formal representations and their practical applications. He has explored categorical semantics for programming languages, hardware design tools, and AI planning systems. Recent work includes integrating logical and probabilistic reasoning frameworks.

Key tools developed include PropPlan (BDD-based planner) and PropSat, alongside contributions to formal verification and categorical logic. His publications span over four decades, addressing topics from intuitionistic logic to modern informatics challenges.