Information about lfcps.org (André Platzer @ Carnegie Mellon University)

Rating

Last update: 14.11.2016, 17:02 (update every 3 days)

ip-address that hosts the domain: 80.237.132.24. Name lfcps.org refers to 5-character domains. Add your reviews about lfcps.org below in the form of.

Domain name:	lfcps.org
Name:	André Platzer @ Carnegie Mellon University
Description:	André Platzer, Associate Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.
Keywords:	André Platzer, Carnegie Mellon University, logic, mathematics, algorithms, computing science, computer science, theorem proving, symbolic math, algebra, computer algebra, differential dynamic logic, hybrid systems, cyber-physical systems, KeYmaera X, formal verification
DNS-server:	ns1.hans.hosteurope.de ns2.hans.hosteurope.de
Provider:	AS20773 HOSTEUROPE-AS
Organization:	Hosteurope GmbH
Country:	Germany, North Rhine-Westphalia, Hoest
How many characters in domain:	5
IP that hosts the domain:	80.237.132.24 (all sites on this IP)