symbolaris.com

André Platzer @ Carnegie Mellon University

André Platzer, Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and courses on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.

Alexa stats for symbolaris.com

Site Seo for symbolaris.com

Tag :

H1	H2	H3	H4	H5
1	1	2	0	0

Image :

There are 16 images on this website and 15 images have alt attributes

Frame :

There are 0 embed on this website.

Flash :

There are 0 flash on this website.

Size :

16,466 characters

Meta Description :

Yes

Meta Keyword :

Yes

Magestic Backlinks for symbolaris.com

About symbolaris.com

Domain	symbolaris.com
MD5	dcbe5c5a645e7238d406fde2a006f176
Keywords	André Platzer, Carnegie Mellon University, Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods
Charset	UTF-8

Page Speed	Check now
Web server	Apache
IP Address	5.175.14.99

# robots.txt file 
# according to the Robot Exclusion Standard
# at http://www.robotstxt.org/wc/norobots.html

User-agent: *
Disallow: /cgi-bin/
Disallow: /private/

Sitemap: https://lfcps.org/sitemap.xml.gz