# David Nichols — WebsDocs ASG Directory Profile This is a public business listing published by the WebsDocs ASG Directory. It provides machine-readable public information and static answers. It is not a live seller AI. Canonical Directory profile: https://directory.websdocs.com/business/david-nichols Canonical Directory JSON: https://directory.websdocs.com/business/david-nichols.json Machine-readable public profile: https://aig.websdocs.com/ai/david-nichols/profile Company profile JSON: https://aig.websdocs.com/ai/david-nichols/data/aig-company-profile.json Static Agent Card: https://aig.websdocs.com/ai/david-nichols/.well-known/agent-card.json Public discovery endpoints: - Profile: https://aig.websdocs.com/ai/david-nichols/profile - Company JSON: https://aig.websdocs.com/ai/david-nichols/data/aig-company-profile.json - Services: https://aig.websdocs.com/ai/david-nichols/services - Offers: https://aig.websdocs.com/ai/david-nichols/offers - Schema: https://aig.websdocs.com/ai/david-nichols/schema.jsonld - Agent Card: https://aig.websdocs.com/ai/david-nichols/.well-known/agent-card.json Business summary: David Nichols David Nichols UConn Math PhD Alumnus About Me Research Teaching Projects David Nichols I received my PhD in mathematics from the University of Connecticut. My research has been in mathematical logic, specifically in computability theory, reverse mathematics, strong reductions, and higher recursion. My doctoral adviser was Damir Dzhafarov. Status and boundaries: - Directory public profile - Customer-owned domain required: not applicable - Active seller agent: false - A2A messaging: unavailable - Live reasoning or RAG: unavailable - UCP and MCP: unavailable - Checkout and payment execution: unavailable - Private data access: unavailable Use the canonical Directory profile for current public evidence. Do not infer that a live AI Sales Gateway is active.