metatheorem.org valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
Meta Tags
Title Harley Eades
Description Toggle navigation Harley Eades III Home Publications Talks Blog Github Harley Eades III Welcome! I am an Associate Professor in the School of Computer and
Keywords N/A
Server Information
WebSite metatheorem faviconmetatheorem.org
Host IP 185.199.111.153
Location -
Related Websites
Site Rank
More to Explore
metatheorem.org Valuation
US$919,632
Last updated: 2023-05-19 03:32:52

metatheorem.org has Semrush global rank of 11,509,288. metatheorem.org has an estimated worth of US$ 919,632, based on its estimated Ads revenue. metatheorem.org receives approximately 106,112 unique visitors each day. Its web server is located in -, with IP address 185.199.111.153. According to SiteAdvisor, metatheorem.org is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$919,632
Daily Ads Revenue US$849
Monthly Ads Revenue US$25,467
Yearly Ads Revenue US$305,601
Daily Unique Visitors 7,075
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
metatheorem.org. A 599 IP: 185.199.111.153
metatheorem.org. A 599 IP: 185.199.110.153
metatheorem.org. A 599 IP: 185.199.109.153
metatheorem.org. A 599 IP: 185.199.108.153
metatheorem.org. NS 3600 NS Record: ns57.domaincontrol.com.
metatheorem.org. NS 3600 NS Record: ns58.domaincontrol.com.
metatheorem.org. MX 3600 MX Record: 10 mailstore1.secureserver.net.
metatheorem.org. MX 3600 MX Record: 0 smtp.secureserver.net.
metatheorem.org. TXT 3600 TXT Record: NETORGFT11565946.onmicrosoft.com
HtmlToTextCheckTime:2023-05-19 03:32:52
Toggle navigation Harley Eades III Home Publications Talks Blog Github Harley Eades III Welcome! I am an Associate Professor in the School of Computer and Cyber Sciences at Augusta University . Clément Aubert and I run the ForML Lab . On this page you will find my research interests, contact information, and CV (Updated May 2022). Current Projects Designing new tools for developers with vision impairments. Designing new systems for remote coaching of athletic training: from novice to elite athletes. The Granule Project where I am studying graded logics, models, and type theories. Research interests Keywords: HCI, design, visualization, sports+HCI, formal methods, Programming languages, type theory, category theory, and logic in computer science. ACM Classes AMS Classes Conference and workshop service Co-chair for TyDe 2022 Program committee member for ICFP 2021 coChair for GraMSec 2020 Program committee member for LINEARITY && TLLA 2020 coChair for SERPL 2019 Program committee member
HTTP Headers
HTTP/1.1 301 Moved Permanently
Server: GitHub.com
Content-Type: text/html
Location: https://metatheorem.org/
X-GitHub-Request-Id: 82CC:444A:109D5:13E47:6305E3A3
Content-Length: 162
Accept-Ranges: bytes
Date: Wed, 24 Aug 2022 08:38:59 GMT
Via: 1.1 varnish
Age: 0
Connection: keep-alive
X-Served-By: cache-hel1410025-HEL
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1661330339.008735,VS0,VE128
Vary: Accept-Encoding
X-Fastly-Request-ID: 81f52b5aa1bb0a09add849d7c413af73810d6cac

HTTP/2 200 
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 22 Aug 2022 19:08:30 GMT
access-control-allow-origin: *
etag: "6303d42e-1624"
expires: Wed, 24 Aug 2022 08:48:59 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 13F6:380D:5298F0:56D6BB:6305E3A3
accept-ranges: bytes
date: Wed, 24 Aug 2022 08:38:59 GMT
via: 1.1 varnish
age: 0
x-served-by: cache-hel1410025-HEL
x-cache: MISS
x-cache-hits: 0
x-timer: S1661330339.158785,VS0,VE127
vary: Accept-Encoding
x-fastly-request-id: 2c6c4303176cbbde072c2d35a24168e9795f44da
content-length: 5668
metatheorem.org Whois Information
Domain Name: metatheorem.org
Registry Domain ID: 4b44c490648942a39611cbbcdd0ad874-LROR
Registrar WHOIS Server: whois.godaddy.com
Registrar URL: http://www.whois.godaddy.com
Updated Date: 2022-06-03T00:24:23Z
Creation Date: 2013-01-03T17:20:14Z
Registry Expiry Date: 2023-01-03T17:20:14Z
Registrar: GoDaddy.com, LLC
Registrar IANA ID: 146
Registrar Abuse Contact Email: abuse@godaddy.com
Registrar Abuse Contact Phone: +1.4806242505
Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited
Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited
Registrant Organization: Domains By Proxy, LLC
Registrant State/Province: Arizona
Registrant Country: US
Name Server: ns57.domaincontrol.com
Name Server: ns58.domaincontrol.com
DNSSEC: unsigned
>>> Last update of WHOIS database: 2022-08-24T08:37:10Z <<<