{
  "ok": true,
  "listing": {
    "id": "lst_01M2YDQ6MXVSGC8GV19W829YDP",
    "slug": "laura-kovacs",
    "businessName": "Laura Kovács",
    "legalName": "",
    "description": {
      "short": "Laura Kovács Laura Kovács Professor Automated Program Reasoning Group - APRe Formal Methods in Systems Engineering - FORSYTE Faculty of Informatics Vienna University of Technology Email: laura dot kovacs at tuwien dot ac dot at Postal address: Favoritenstrasse 9-11/E192.4, 1040 Vienna, Austria CV Publications APRe Group APRe Events Research Grants Student Projects Teaching Short bio: I am a full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien) , leading the research group in automated program reasoning- APRe in the Formal Methods in Systems Engineering division . My research focuses on the design and development of theories, technologies, and tools for",
      "full": "Laura Kovács Laura Kovács Professor Automated Program Reasoning Group - APRe Formal Methods in Systems Engineering - FORSYTE Faculty of Informatics Vienna University of Technology Email: laura dot kovacs at tuwien dot ac dot at Postal address: Favoritenstrasse 9-11/E192.4, 1040 Vienna, Austria CV Publications APRe Group APRe Events Research Grants Student Projects Teaching Short bio: I am a full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien) , leading the research group in automated program reasoning- APRe in the Formal Methods in Systems Engineering division . My research focuses on the design and development of theories, technologies, and tools for automated reasoning about software, with particular emphasis on automated assertion generation, symbolic summation, computer algebra, security, and automated theorem proving. I am a corresponding member of the Austrian Academy of Science and a Wallenberg Academy Fellow of Sweden."
    },
    "industry": "",
    "website": "https://lkovacs.com/",
    "rootDomain": "lkovacs.com",
    "listingOrigin": "discovered",
    "entityType": "business",
    "entitySubtype": "commercial_organization",
    "entityClassification": {
      "type": "business",
      "subtype": "commercial_organization",
      "confidenceScore": 73,
      "classifiedAt": "2026-09-20T03:28:22.932Z",
      "government": null
    },
    "placementType": "global",
    "location": {
      "placementType": "global",
      "countryCode": "",
      "countryName": "Global",
      "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": "none",
    "paidProfile": false,
    "freshnessStatus": "current",
    "media": {
      "logo": "https://lkovacs.com/favicon.ico",
      "explicitLogo": null,
      "favicon": null,
      "fallback": "https://lkovacs.com/favicon.ico"
    },
    "scores": {
      "dataConfidence": 77,
      "quality": 74,
      "verification": 0
    },
    "qualityScore": 74,
    "urls": {
      "directory": "https://directory.websdocs.com/business/laura-kovacs",
      "json": "https://directory.websdocs.com/business/laura-kovacs.json",
      "website": "https://lkovacs.com/",
      "gateway": null
    },
    "publishedAt": "2026-09-20T03:28:23.862Z",
    "updatedAt": "2026-09-20T03:28:29.543Z",
    "organizationType": "organization",
    "language": {
      "primary": "en",
      "supported": [
        "en"
      ],
      "currencies": []
    },
    "categories": [
      {
        "slug": "education-training",
        "name": "Education & Training",
        "primary": true,
        "confidenceScore": 63
      }
    ],
    "services": [],
    "products": [],
    "agentCapabilities": [],
    "contacts": [
      {
        "type": "phone",
        "label": "Public phone",
        "value": "2025 11-19",
        "url": null,
        "platform": "phone",
        "primary": true,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/probing-lab/polar",
        "url": "https://github.com/probing-lab/polar",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      },
      {
        "type": "social",
        "label": "github",
        "value": "https://github.com/Z3Prover/z3",
        "url": "https://github.com/Z3Prover/z3",
        "platform": "github",
        "primary": false,
        "verificationStatus": "public_source"
      }
    ],
    "serviceAreas": [],
    "sources": [
      {
        "type": "website",
        "url": "https://lkovacs.com/Events/apre24.html",
        "title": "APRe 2024 Workshop",
        "primary": false,
        "lastObservedAt": "2026-09-20T03:27:56.309Z"
      },
      {
        "type": "website",
        "url": "https://lkovacs.com/apre19.html",
        "title": "APRe 2019 Workshop",
        "primary": false,
        "lastObservedAt": "2026-09-20T03:27:56.309Z"
      },
      {
        "type": "website",
        "url": "https://lkovacs.com/research_grants.html",
        "title": "Ongoing Research Projects",
        "primary": false,
        "lastObservedAt": "2026-09-20T03:27:56.309Z"
      },
      {
        "type": "website",
        "url": "https://lkovacs.com/events.html",
        "title": "Selected List of Dissemination Events of APRe",
        "primary": false,
        "lastObservedAt": "2026-09-20T03:27:56.309Z"
      },
      {
        "type": "website",
        "url": "https://lkovacs.com/",
        "title": "Laura Kovács",
        "primary": false,
        "lastObservedAt": "2026-09-20T03:27:56.309Z"
      }
    ],
    "timestamps": {
      "firstDiscoveredAt": "2026-09-20T03:27:56.309Z",
      "lastCrawledAt": "2026-09-20T03:28:23.862Z",
      "lastVerifiedAt": null,
      "publishedAt": "2026-09-20T03:28:23.862Z",
      "updatedAt": "2026-09-20T03:28:29.543Z"
    },
    "gatewayDiscovery": {
      "status": "unmapped",
      "activeAgent": false,
      "urls": {},
      "capabilities": {
        "ask": false,
        "checkout": false
      },
      "checkedAt": null
    },
    "quoteRequest": {
      "available": false,
      "endpoint": null
    }
  },
  "canonicalUrl": "https://directory.websdocs.com/business/laura-kovacs",
  "generatedAt": "2026-09-22T01:33:21.078Z"
}