Website Technology Profiler

{
  "PageContent": "<h3>André Platzer @ Karlsruhe Institute of Technology</h3>André Platzer is the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems at Karlsruhe Institute of Technology\r\nand is the founder of the Logical Systems Lab at Carnegie Mellon University.\r\nHe develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes. The solution to this challenge is the key to enabling computer assistance that we can bet our lives on. Prof. Platzer pursues this challenge with the principled design of programming languages with logics that can provide proofs as correctness guarantees.\r\n\t\t[\r\ntextbook\r\n| mission\r\n| survey\r\n| videos\r\n| research\r\n]\r\n\tProfileResearch interests:Logic of Dynamical Systems, Logic of Autonomous Dynamical Systems, Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal MethodsImproving the safety of cyber-physical systems (2min)\r\n\t\t[AvH Video (2min)\r\n  | Brief Video (10min)\r\n  | Overview Video (40min)\r\n  | More Videos\r\n]\r\n\tTopics\r\nThe KeYmaera X aXiomatic Theorem Prover for Hybrid Systems is a verification tool.\r\nIt is based on differential dynamic logic, which provides the Logical Foundations of Cyber-Physical Systems as explained in a recent textbook.\r\n\r\nIf you want to do research with me, you should take the Logical Foundations of Cyber-Physical Systems course, read the textbook and/or watch the video lectures, because it is difficult to do meaningful research without a suitable background.\r\n\r\nMy publications are available in the List of Publications (also see Reading Guide).\r\nLogics\r\nMany of the research findings in my group are rooted in logic, most notably Differential Dynamic Logic for hybrid systems and Differential Game Logic for hybrid games, but also Differential Refinement Logic for proving and using relationships among hybrid systems as well as Stochastic Differential Dynamic Logic for stochastic hybrid systems.\r\n\r\n\t\t[ dL\r\n    | dGL\r\n\t| overview]\r\n\tAnnouncements\r\nMore: Read about this research in the news.",
  "Url": "https://lfcps.org",
  "IpAddress": "92.205.168.229",
  "ReverseDns": "229.168.205.92.host.secureserver.net",
  "Asn": null,
  "Http2": false,
  "Http3": false,
  "ResponseTimeMs": 1273,
  "StatusCode": 200,
  "ServerHeaders": [
    "Apache"
  ],
  "Ssl": {
    "Issuer": "CN=Starfield Secure Certificate Authority - G2, OU=http://certs.starfieldtech.com/repository/, O=\"Starfield Technologies, Inc.\", L=Scottsdale, S=Arizona, C=US",
    "Subject": "CN=www.lfcps.org",
    "NotBefore": "2025-05-14T16:34:35-07:00",
    "NotAfter": "2026-06-13T16:34:35-07:00",
    "SubjectAltNames": [
      "DNS Name=www.symbolaris.com",
      "DNS Name=www.pub.lfcps.org",
      "DNS Name=pub.lfcps.org",
      "DNS Name=keymaerax.org",
      "DNS Name=www.modelplex.net",
      "DNS Name=symbolaris.com",
      "DNS Name=www.lfcps.org",
      "DNS Name=lfcps.org",
      "DNS Name=www.book.lfcps.org",
      "DNS Name=www.keymaerax.org",
      "DNS Name=video.lfcps.org",
      "DNS Name=modelplex.net",
      "DNS Name=book.lfcps.org",
      "DNS Name=www.video.lfcps.org"
    ],
    "Hsts": false,
    "Ciphers": [],
    "Protocol": "Tls12",
    "DaysUntilExpiry": 134
  },
  "Cdns": [],
  "HostingHints": [],
  "Cms": [],
  "Frameworks": [],
  "JsLibraries": [],
  "Analytics": [
    "Google Analytics GA4"
  ],
  "AdsAndMarketing": [],
  "PaymentGateways": [],
  "EcommerceHints": [],
  "SocialSignals": [
    "YouTube"
  ],
  "MediaProviders": [
    "YouTube"
  ],
  "SeoTags": [
    "keywords: Andr&eacute; Platzer, Alexander von Humboldt Professor, Karlsruhe Institute of Technology, Logic of Dynamical Systems, Logic of Autonomous Dynamical Systems, Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods",
    "author: Andre Platzer",
    "content-type: text/html; charset="
  ],
  "HtmlLanguage": null,
  "HasRobots": true,
  "HasSitemap": true,
  "SecurityHeaders": [
    "CSP"
  ],
  "CookiesObserved": [],
  "XhrApiHints": [],
  "SitemapCounts": {
    "total_urls": 0
  },
  "ChatWidgets": [],
  "ABTesting": [],
  "PrivacyConsent": [],
  "EmailMarketing": [],
  "WebFonts": [],
  "DynamicJs": [
    "Web Server: Apache"
  ],
  "ResourceHosts": [
    "symbolaris.com",
    "lfcps.org"
  ],
  "CssFrameworks": [],
  "BuildTools": [],
  "ServerTech": [],
  "DatabaseHints": [],
  "PageTitle": "Andr&eacute; Platzer @ Karlsruhe Institute of Technology",
  "MetaDescription": "Andr&eacute; Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.",
  "ImageCount": 20,
  "ScriptCount": 1,
  "LinkCount": 13,
  "Errors": [],
  "UiFrameworks": []
}