| Desktop | 69/100 | ❗ |
| Mobile | 28/100 | ✘ |
| Field | Data | Result |
|---|---|---|
| Page Size | 15 KB | ✔ |
| Compression | NO | ✘ |
| Text/Html Ratio | 2528 / 15507 (bytes) = 16.3% | ✔ |
| Load Time | 0.77 second | ✔ |
| Mobile Ready | 0/100 | ✘ |
| In-Page Links | 34 | ✔ |
| Doc Type | HTML 4.01 Transitional | ✔ |
| Encoding | UTF-8 | ✔ |
| Declared Language | Unknown | ✘ |
| Preferred Domain | Yes | ✔ |
| Robots.txt | Yes | ✔ |
| Url Rewrite | Yes | ✘ |
| Underscores in url | No | ✔ | Images Without ALT | 0 / 15 | ✔ |
| Embedded Objects (Desktop) | No | ✔ |
| Embedded Objects (Mobile) | Yes | ✘ |
| Iframe | Yes | ✘ |
| Custom 404 page | No | ✘ |
| Email Privacy | Yes | ✔ |
| Gsafe browsing | Yes | ✔ |
| Analytics | No | ✘ |
| W3C Validity | No | ✘ |
| Keywords | Freq | Title | Desc | <H> |
|---|---|---|---|---|
| cyber-physical | 8 | ✘ | ✔ | ✘ |
| foundations | 7 | ✘ | ✘ | ✘ |
| hybrid | 7 | ✘ | ✘ | ✘ |
| research | 5 | ✘ | ✔ | ✘ |
| logical | 5 | ✘ | ✘ | ✘ |
| carnegie | 4 | ✔ | ✔ | ✔ |
| mellon | 4 | ✔ | ✔ | ✔ |
| theorem | 4 | ✘ | ✘ | ✘ |
| platzer | 3 | ✔ | ✔ | ✔ |
| verification | 3 | ✘ | ✔ | ✘ |
| computer | 3 | ✘ | ✔ | ✘ |
| prover | 3 | ✘ | ✘ | ✘ |
| avoidance | 2 | ✘ | ✘ | ✘ |
| programming | 2 | ✘ | ✘ | ✘ |
| system | 2 | ✘ | ✔ | ✘ |
|
With 0.77 seconds in page load, 15 KB of page size and all other reports below, the functologic.com has a SEO score of 57 out of 100 |
| Title | André Platzer @ Carnegie Mellon University |
| Description | 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. |
| Keyword | André Platzer, Carnegie Mellon University, Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods |
| Age | 18 Years, 59 Days |
| Created | 10th-Sep-2002 |
| Updated | 9th-Sep-2020 |
| Expiry | 10th-Sep-2021 |
| Host | Type | Ttl | Other |
|---|---|---|---|
| functologic.com | A | 86387 | ip:5.175.14.99 |
| functologic.com | NS | 259200 | target:a1.wpns.hosteurope.de |
| functologic.com | NS | 259200 | target:a1.wsns.hosteurope.de |
| functologic.com | SOA | 2560 | mname:a1.wpns.hosteurope.dername:hostmaster.functologic.comserial:2020022015refresh:16384retry:2048expire:1048576minimum-ttl:2560 |
| functologic.com | MX | 86400 | pri:50target:mx0.functologic.com |
| functologic.com | TXT | 86400 | txt:google-site-verification=FUvcD6rDKKHzjP_FjpgedlGyIr57SSEqgX11LGxEsTQ |
| functologic.com | AAAA | 86386 | ipv6:2a01:488:42:1000:50ed:8263:8b:5ac6 |
|
Domain Name: FUNCTOLOGIC.COM Registry Domain ID: 90138835_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.meshdigital.com Registrar URL: http://www.domainbox.com Updated Date: 2020-09-09T11:17:32Z Creation Date: 2002-09-10T19:14:17Z Registrar Registration Expiration Date: 2021-09-10T19:15:04Z Registrar: MESH DIGITAL LIMITED Registrar IANA ID: 1390 Registrar Abuse Contact Email: support@domainbox.com Registrar Abuse Contact Phone: +1.8779770099 Reseller: Host Europe GmbH Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Registry Registrant ID: REDACTED FOR PRIVACY Registrant Name: REDACTED FOR PRIVACY Registrant Organization: private Registrant Street: REDACTED FOR PRIVACY Registrant City: REDACTED FOR PRIVACY Registrant State/Province: Registrant Postal Code: REDACTED FOR PRIVACY Registrant Country: DE Registrant Phone: REDACTED FOR PRIVACY Registrant Phone Ext: REDACTED FOR PRIVACY Registrant Fax: REDACTED FOR PRIVACY Registrant Fax Ext: REDACTED FOR PRIVACY Registrant Email: https://webform.meshdigital.com Admin Email: https://webform.meshdigital.com Tech Email: https://webform.meshdigital.com Name Server: a1.wpns.hosteurope.de Name Server: a1.wsns.hosteurope.de DNSSEC: unsigned URL of the ICANN WHOIS Data Problem Reporting System: http://wdprs.internic.net/ >>> Last update of WHOIS database: 2020-11-07T20:41:28Z |
| Server IP | 5.175.14.99 |
| Server Location | France |
| Service Provider | Host Europe GmbH |
| Domains (TLD) | Status |
|---|---|
| functologic.net | Available |
| functologic.org | Already Registered |
| functologic.biz | Already Registered |
| functologic.io | Already Registered |
| functologic.info | Available |
| Domains (TLD) | Status |
|---|---|
| cunctologic.com | Available |
| dunctologic.com | Available |
| eunctologic.com | Available |
| runctologic.com | Available |
| tunctologic.com | Available |
| Emilyheinlen.com |
| Fleetwoodpromotions.com |
| Egoyanzheng.com |
| Graftonbooks.com |
| Firstthreenoflash.com |
| Daniellittle.com |
| Authortimobrien.com |
| Susangreenhill.co.uk |
| Jasmindarznik.com |
| Crlfoundation.org |