# Laura Kovács — 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/laura-kovacs Canonical Directory JSON: https://directory.websdocs.com/business/laura-kovacs.json Machine-readable public profile: https://aig.websdocs.com/ai/laura-kovacs/profile Company profile JSON: https://aig.websdocs.com/ai/laura-kovacs/data/aig-company-profile.json Static Agent Card: https://aig.websdocs.com/ai/laura-kovacs/.well-known/agent-card.json Public discovery endpoints: - Profile: https://aig.websdocs.com/ai/laura-kovacs/profile - Company JSON: https://aig.websdocs.com/ai/laura-kovacs/data/aig-company-profile.json - Services: https://aig.websdocs.com/ai/laura-kovacs/services - Offers: https://aig.websdocs.com/ai/laura-kovacs/offers - Schema: https://aig.websdocs.com/ai/laura-kovacs/schema.jsonld - Agent Card: https://aig.websdocs.com/ai/laura-kovacs/.well-known/agent-card.json Business summary: 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 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.