James Douglas Boyd
James is a Complex Systems Analyst at SingularityNET and a Project Research Assistant at Wolfram Research. His current research concerns the study of computability from the vantage point of homotopy type theory (HoTT), with application to both computational physics and artificial intelligence. His other interests include nanotechnology, architecture, urban planning, economics, political science, the philosophy of science, SETI, and cinema. He has studied at The New School and the University of Michigan.
Research Interests
Homotopy Type Theory
Theoretical Computer Science
Computational Complexity Theory
Randomness
Foundations of Mathematics
Computations
Physics
Mathematics