{
  "ok": true,
  "listing": {
    "id": "lst_01M30ME0FDS704KP7SV24H5GFV",
    "slug": "malvin-gattinger",
    "businessName": "Malvin Gattinger",
    "legalName": "",
    "description": {
      "short": "Cyclogician. Assistant professor at ILLC, University of Amsterdam.",
      "full": "Cyclogician. Assistant professor at ILLC, University of Amsterdam."
    },
    "industry": "",
    "website": "https://malv.in/",
    "rootDomain": "malv.in",
    "listingOrigin": "discovered",
    "entityType": "business",
    "entitySubtype": "commercial_organization",
    "entityClassification": {
      "type": "business",
      "subtype": "commercial_organization",
      "confidenceScore": 73,
      "classifiedAt": "2026-09-21T00:04:10.639Z",
      "government": null
    },
    "placementType": "country",
    "location": {
      "placementType": "country",
      "countryCode": "IN",
      "countryName": "India",
      "flag": "🇮🇳",
      "region": "",
      "city": "",
      "mode": "online"
    },
    "primaryCategory": null,
    "claimStatus": "unclaimed",
    "verificationStatus": "unverified",
    "verified": false,
    "businessVerification": {
      "applicable": true,
      "status": "pending",
      "level": "none",
      "label": "Not Registry Verified",
      "badgeColor": "neutral",
      "countsAsVerified": false,
      "authority": null,
      "registryId": null,
      "matchScore": 0,
      "authorityCode": null,
      "lei": null,
      "jurisdiction": null,
      "registeredLegalName": null,
      "registryStatus": null,
      "registryUrl": null,
      "checkedAt": null,
      "verifiedAt": null,
      "nextCheckAt": null
    },
    "businessVerified": false,
    "commercialStatus": "free",
    "agentStatus": "active",
    "paidProfile": false,
    "freshnessStatus": "current",
    "media": {
      "logo": "https://malv.in/favicon.ico",
      "explicitLogo": null,
      "favicon": null,
      "fallback": "https://malv.in/favicon.ico"
    },
    "scores": {
      "dataConfidence": 72,
      "quality": 68,
      "verification": 0
    },
    "qualityScore": 68,
    "urls": {
      "directory": "https://directory.websdocs.com/business/malvin-gattinger",
      "json": "https://directory.websdocs.com/business/malvin-gattinger.json",
      "website": "https://malv.in/",
      "gateway": null
    },
    "publishedAt": "2026-09-21T00:31:49.298Z",
    "updatedAt": "2026-09-21T00:31:49.298Z",
    "organizationType": "organization",
    "language": {
      "primary": "en",
      "supported": [
        "en"
      ],
      "currencies": []
    },
    "categories": [
      {
        "slug": "education-training",
        "name": "Education & Training",
        "primary": true,
        "confidenceScore": 59
      }
    ],
    "services": [],
    "products": [],
    "agentCapabilities": [
      {
        "key": "booking",
        "name": "Online booking",
        "description": "Detected from public website navigation or discovery metadata.",
        "protocol": "http",
        "actionUrl": "https://en.wikipedia.org/wiki/Facebook",
        "method": "GET",
        "authenticationRequired": false
      }
    ],
    "contacts": [
      {
        "type": "email",
        "label": "Public email",
        "value": "malvin@w4eg.eu",
        "url": "https://mailto:malvin@w4eg.eu/",
        "platform": "email",
        "primary": true,
        "verificationStatus": "public_source"
      },
      {
        "type": "phone",
        "label": "Public phone",
        "value": "2024-12-09",
        "url": null,
        "platform": "phone",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/m4lvin",
        "url": "https://github.com/m4lvin",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/mgignoux/lean4-gl-coalgebras",
        "url": "https://github.com/mgignoux/lean4-gl-coalgebras",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/AmosNico/validator",
        "url": "https://github.com/AmosNico/validator",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/shosukeyuu/NestProveML",
        "url": "https://github.com/shosukeyuu/NestProveML",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/eshelyaron/lean4-bdd",
        "url": "https://github.com/eshelyaron/lean4-bdd",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/DdosSantosGomes/Symbolic-Topo-E-Models",
        "url": "https://github.com/DdosSantosGomes/Symbolic-Topo-E-Models",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/XiaoshuangYang999/Sequent-Calculus-With-Zippers",
        "url": "https://github.com/XiaoshuangYang999/Sequent-Calculus-With-Zippers",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/dushiel/SMCDEL",
        "url": "https://github.com/dushiel/SMCDEL",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/IngeborgvanKeulen/IMLMAS",
        "url": "https://github.com/IngeborgvanKeulen/IMLMAS",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/Leon-Wloch/Lean4-graphsee",
        "url": "https://github.com/Leon-Wloch/Lean4-graphsee",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/jrclogic/SMCDEL/tree/simplicial",
        "url": "https://github.com/jrclogic/SMCDEL/tree/simplicial",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/riemerk/ParityAutomataStuttering",
        "url": "https://github.com/riemerk/ParityAutomataStuttering",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/MitchBoontjes/SMCDEL_Updated",
        "url": "https://github.com/MitchBoontjes/SMCDEL_Updated",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/HugoEskes/bsc_thesis_symbolic_pdl_checking/",
        "url": "https://github.com/HugoEskes/bsc_thesis_symbolic_pdl_checking/",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/m4lvin/Gossip-in-Lean/tree/necessary-via-minimality",
        "url": "https://github.com/m4lvin/Gossip-in-Lean/tree/necessary-via-minimality",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/Noam-Coh3n/BScThesis",
        "url": "https://github.com/Noam-Coh3n/BScThesis",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/Bobjeslol/Gossip-in-Lean",
        "url": "https://github.com/Bobjeslol/Gossip-in-Lean",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/sophie-bit/Puzzle-Generator",
        "url": "https://github.com/sophie-bit/Puzzle-Generator",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/MinkeVerweij/ModalCorrespondence",
        "url": "https://github.com/MinkeVerweij/ModalCorrespondence",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/GitgitGotgot/PDL-Model-Checking-Procedure",
        "url": "https://github.com/GitgitGotgot/PDL-Model-Checking-Procedure",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      }
    ],
    "serviceAreas": [
      {
        "type": "country",
        "countryCode": "IN",
        "region": "",
        "city": "",
        "postalCode": "",
        "radiusKm": null,
        "description": "India",
        "primary": true
      }
    ],
    "sources": [
      {
        "type": "website",
        "url": "https://malv.in/",
        "title": "Malvin Gattinger",
        "primary": true,
        "lastObservedAt": "2026-09-21T00:04:01.076Z"
      },
      {
        "type": "website",
        "url": "https://malv.in/publications.html",
        "title": "Publications - Malvin Gattinger",
        "primary": false,
        "lastObservedAt": "2026-09-21T00:04:01.076Z"
      },
      {
        "type": "website",
        "url": "https://malv.in/teaching.html",
        "title": "Teaching - Malvin Gattinger",
        "primary": false,
        "lastObservedAt": "2026-09-21T00:04:01.076Z"
      },
      {
        "type": "website",
        "url": "https://malv.in/phdthesis/",
        "title": "New Directions in Model Checking Dynamic Epistemic Logic | Malvin Gattinger",
        "primary": false,
        "lastObservedAt": "2026-09-21T00:04:01.076Z"
      },
      {
        "type": "website",
        "url": "https://malv.in/posts.html",
        "title": "Posts - Malvin Gattinger",
        "primary": false,
        "lastObservedAt": "2026-09-21T00:04:01.076Z"
      },
      {
        "type": "website",
        "url": "https://malv.in/links.html",
        "title": "Links - Malvin Gattinger",
        "primary": false,
        "lastObservedAt": "2026-09-21T00:04:01.076Z"
      }
    ],
    "timestamps": {
      "firstDiscoveredAt": "2026-09-21T00:04:01.076Z",
      "lastCrawledAt": "2026-09-21T00:04:11.544Z",
      "lastVerifiedAt": null,
      "publishedAt": "2026-09-21T00:31:49.298Z",
      "updatedAt": "2026-09-21T00:31:49.298Z"
    },
    "gatewayDiscovery": {
      "status": "unmapped",
      "activeAgent": false,
      "urls": {},
      "capabilities": {
        "ask": false,
        "checkout": false
      },
      "checkedAt": null
    },
    "quoteRequest": {
      "available": false,
      "endpoint": null
    }
  },
  "canonicalUrl": "https://directory.websdocs.com/business/malvin-gattinger",
  "generatedAt": "2026-09-21T23:44:53.944Z"
}