Symbolaris.com

Visit symbolaris.com
  • 7 months ago

    Last scanned

  • 16 years

    Domain Age

  • No data

    Daily Visitors

  • No data

    Global Rank

Symbolaris.com

Visit symbolaris.com

Overal rating:

B9876A78-C14B-4F49-9F4B-396039336A47@1x

About Website

Updated:

André Platzer @ Karlsruhe Institute of Technology || Carnegie Mellon University

André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology and leads the Logical Systems Lab at Carnegie Mellon University. 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.

Trustworthy

99E6BC28-40D1-4264-B66E-CBC423C983BF@1x

Network Data

This website is hosted with HEG Mass, which reserves the following IP addresses for symbolaris.com: 5.175.14.99. Moreover, DNS used with this website include ns45.domaincontrol.com, ns46.domaincontrol.com.

  • 7 months ago

    Last scanned

  • 16 years

    Domain Age

  • No data

    Daily Visitors

  • No data

    Global Rank

Trustworthy

Network

ADDRESSING DETAILS

Whois

OWNERSHIP

Domain & Keywords

The registrar of symbolaris.com is MESH DIGITAL LIMITED and the name expires on 2018-04-15. According to open source data, you can reach the owner at support@hosteurope.de but please make sure you have a good reason for unsolicited messages. Their country of residence is Germany.

  • Programming Languages
  • formal methods
  • platzer
  • Logic In Computer Science
  • theorem proving
  • Cyber-Physical Systems
  • André Platzer
  • andre platzer
  • eight puzzle java
  • 8 puzzle java

Symbolaris.com Homepage Change Through The Years

Websites similar to symbolaris.com