Julian Bradfield
Reader
Informatics
The University of Edinburgh
United Kingdom
Biography
Julian Bradfield Position Reader Roles Associate Member of Centre for Intelligent Systems and their Applications
Research Interest
Modal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languages.
Publications
-
The sound of a spherical cow
-
Preface: Papers in Historical Phonology
-
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
