Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
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 |
WebSite | metatheorem.org |
Host IP | 185.199.111.153 |
Location | - |
Site | Rank |
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. |
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. |
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 |
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/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 |
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 <<< |