You are here: Webwiki > symbolaris.com

Symbolaris.com - André Platzer @ Karlsruhe Institute of Technology || Carnegie Mellon University (No review yet)

Goto Symbolaris.com

Update profile
Report link

Popularity:

Language: english

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.

Keywords: André Platzer Alexander von Humboldt Professor Karlsruhe Institute Of Technology Carnegie Mellon University Logic Dynamical Systems Autonomous in Computer Science Cyber-Physical Programming Languages Theorem Proving Formal Methods

Category: Computer and Technology

Reviews and ratings of Symbolaris.com

There are no reviews yet.

Content / Keywords
Technical

Content and keywords

The Karlsruhe Institute of Technology is one of the largest, and most prestigious research and education institutions in Germany, resulting from a merger of the university and the research center of the city of Karlsruhe. read more

Important and popular websites

Important pages are Publications, Research and Tools. In the following table you'll find the 10 most important pages of Symbolaris.com:

#	Description	URL of the website
1.	Publications	/pub/index.html
2.	Research	/research.html
3.	Tools	/info/index.html
4.	Courses	/course/index.html
5.	A. Platzer	/andre.html
6.	textbook	/lfcps/index.html
7.	Differential equation invariance axiomatization J.ACM	/pub/diffaxiomatic-long.pdf
8.	KIT Course Logical Foundations of Cyber-Physical Systems WS	/course/lfcps.html
9.	Differential Game Logic for Hybrid Games	/logic/hybridgames.html
10.	Logical Foundations of Cyber-Physical Systems	/logic/lfcps.html

Technical information

The web server used by Symbolaris.com is run by Host Europe GmbH and located in Germany. This web server runs 9 other websites, their language is mostly german.

A Apache server hosts the websites of Symbolaris.com. HTML 4.01 Transitional is used as markup language on the webpages. The website does not specify details about the inclusion of its content in search engines. For this reason the content will be included by search engines. The visitors are redirected to the homepage of the website "/index.html".

Information about the server of the website

IP address:	5.175.14.99
Server provider:	Host Europe GmbH
Number of websites:	10 - more websites using this IP address
Language distribution:	90% of the websites are german, 10% of the websites are english

Technical information about the technology of the website

Webserver software:	Apache
Load time:	5.03 seconds (slower than 99 % of all websites)
HTML version:	HTML 4.01 Transitional
Home:	/index.html
Filesize:	23.11 KB (535 recognized words in text)

Safety and classification

The website doesn't contain questionable content. It can be used by kids and is safe for work.

Attribute	Classification
Google Safebrowsing	Safe
Safe for children	100%
Safe for work	100%
Webwiki rating	No ratings
Server location	Germany
Trustworthy 85%

Disclaimer: The classification is based on the automatic analysis of public information, ratings and customer reviews. All information is provided without warranty.

For webmasters:
Add a Webwiki button with the current rating to your website!

Webwiki Buttons