Regular biography
Julian Bradfield is a Reader in the Department of Computing Science at The University of Edinburgh. His research interests include formal methods, concurrency, and verification. He is affiliated with the university's Computing Science department and can be contacted via email at jcb@inf.ed.ac.uk. His professional profile is available at https://www.ed.ac.uk/Julian_Bradfield.html.
Scholar-generated biography
Julian Bradfield is a researcher at the University of Edinburgh, specializing in Computer Science with a focus on Logic, Set Theory, and Phonology. His work explores modal logics, mu-calculi, and their applications in model checking and temporal verification. Bradfield's research includes the alternation hierarchy of modal mu-calculi, the expressivity of logical systems, and the integration of mu-calculus with formal methods such as OCL and QVT-R. His publications address the verification of temporal properties of systems and processes, as well as the use of fixpoints and games in logical frameworks. His contributions span both theoretical and applied aspects of logic and concurrency.