Functologic.com
Visit functologic.com-
1 year ago
Last scanned
-
21 years
Domain Age
-
No data
Daily Visitors
-
No data
Global Rank
Functologic.com
Visit functologic.com
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.
Network Data
This website is hosted with HEG Mass, which reserves the following IP addresses for functologic.com: 5.175.14.99. Moreover, DNS used with this website include ns13.domaincontrol.com, ns14.domaincontrol.com.
-
1 year ago
Last scanned
-
21 years
Domain Age
-
No data
Daily Visitors
-
No data
Global Rank
Network
ADDRESSING DETAILS
-
Hosting Company
-
IPs
-
DNS
ns13.domaincontrol.com
ns14.domaincontrol.com
Whois
OWNERSHIP
-
Created
2002-09-10
-
Expires
2018-09-10
-
Owner
-
Registar
MESH DIGITAL LIMITED
-
Owner Emails
Domain & Keywords
The registrar of functologic.com is MESH DIGITAL LIMITED and the name expires on 2018-09-10. 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
- Logic In Computer Science
- theorem proving
- Cyber-Physical Systems
- André Platzer
- Logic of Dynamical Systems
- Logic of Autonomous Dynamical Systems
- Alexander von Humboldt Professor
Functologic.com Homepage Change Through The Years
-
5 years ago
Jun 01, 2018
-
3 years ago
Jul 23, 2020
-
2 years ago
Aug 23, 2021
-
This year
Jul 08, 2023
Websites similar to functologic.com
-
symbolaris.com
-
Global rank
N/A
-
Daily Visitors
N/A
-
-
hillelwayne.com
-
Global rank
256.5K
-
Daily Visitors
178
-
-
svuniversity.in
-
Global rank
708.2K
-
Daily Visitors
534
-
-
kitcoek.in
-
Global rank
N/A
-
Daily Visitors
356
-
-
ijecce.org
-
Global rank
N/A
-
Daily Visitors
178
-