James Baxter

James Baxter serves as a Research Fellow within the Department of Computer Science at the University of York, based in office CSE/010-3 at Deramore Lane, York YO10 5GH, UK. His contact phone number is +44 (0)1904 325437, and he is part of the university's research staff structure under the "Research Fellows and Research Associates" category.

His research spans core areas of Computer Science, with emphasis on Theoretical Computer Science, Algorithms, Formal Methods, and Programming Languages. These interests align with the department's focus on foundational computing principles. Further details about his work are available through his personal web page.