James Douglas Boyd Research Scientist
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 Topics & Interests
- Homotopy Type Theory
- Theoretical Computer Science
- Computational Complexity Theory
- Foundations of Mathematics