{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@type": "Organization",
      "@id": "https://lkovacs.com/#organization",
      "name": "Laura Kovács",
      "url": "https://lkovacs.com/",
      "description": "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"
    },
    {
      "@type": "WebPage",
      "@id": "https://directory.websdocs.com/business/laura-kovacs#asg",
      "name": "Laura Kovács ASG Directory Profile",
      "url": "https://directory.websdocs.com/business/laura-kovacs",
      "isPartOf": {
        "@id": "https://lkovacs.com/#organization"
      },
      "description": "Public business information published by the WebsDocs ASG Directory."
    }
  ]
}