favonia.org valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
Meta Tags
Title ?
Description ? Favonia I am an assistant professor at the University of Minnesota . My research interests lie in achieving high rigor in computer programs and mathemat
Keywords N/A
Server Information
WebSite favonia faviconfavonia.org
Host IP 185.199.111.153
Location -
Related Websites
Site Rank
More to Explore
favonia.org Valuation
US$661,149
Last updated: 2023-05-08 04:49:45

favonia.org has Semrush global rank of 16,008,957. favonia.org has an estimated worth of US$ 661,149, based on its estimated Ads revenue. favonia.org receives approximately 76,287 unique visitors each day. Its web server is located in -, with IP address 185.199.111.153. According to SiteAdvisor, favonia.org is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$661,149
Daily Ads Revenue US$611
Monthly Ads Revenue US$18,309
Yearly Ads Revenue US$219,705
Daily Unique Visitors 5,086
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
favonia.org. A 299 IP: 185.199.111.153
favonia.org. A 299 IP: 185.199.109.153
favonia.org. A 299 IP: 185.199.110.153
favonia.org. A 299 IP: 185.199.108.153
favonia.org. NS 86400 NS Record: vita.ns.cloudflare.com.
favonia.org. NS 86400 NS Record: andronicus.ns.cloudflare.com.
HtmlToTextCheckTime:2023-05-08 04:49:45
? Favonia I am an assistant professor at the University of Minnesota . My research interests lie in achieving high rigor in computer programs and mathematical proofs. In particular, I have been working on proof mechanization, type theory, programming language theory, and property-based testing. Check out my Ph.D. advising statement if you are interested. ? Email: kbh@umn.edu ? ORCID: 0000-0002-2310-3673 ? GitHub: favonia ? Mastodon: favonia@mathstodon.xyz ? Twitter: favonia ? Current Research Links: ? papers/thesis ?️ talks ? artifacts ✅ Program testing: exploiting typing information to reduce testing. See our POPL 2022 paper . ? Development of proof assistants: reusable components for making proof assistants. See redprl.org . ? Synthetic homotopy theory: using homotopy type theory or cubical type theory to study homotopy theory. ? Advisees Link: ? all advisees ?‍? Ph.D. Students Isaac Velasquez Perry Hart Zhuyang Wang ?‍? Masters Students Michael Zhang ?‍? Research Programmer Reed
HTTP Headers
HTTP/1.1 301 Moved Permanently
Server: GitHub.com
Content-Type: text/html
Location: https://favonia.org/
X-GitHub-Request-Id: E2C8:3FF7:17C6D9:2413E2:617BC35E
Content-Length: 162
Accept-Ranges: bytes
Date: Fri, 29 Oct 2021 09:48:14 GMT
Via: 1.1 varnish
Age: 0
Connection: keep-alive
X-Served-By: cache-chi21177-CHI
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1635500894.499796,VS0,VE23
Vary: Accept-Encoding
X-Fastly-Request-ID: ba43fc66fcdf4c421a228d994bc1103982ffea65

HTTP/2 200 
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 13 Sep 2021 02:00:33 GMT
access-control-allow-origin: *
etag: "613eb0c1-1752"
expires: Fri, 29 Oct 2021 09:58:14 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: E4D0:2F11:15B7BC:21E215:617BC35E
accept-ranges: bytes
date: Fri, 29 Oct 2021 09:48:14 GMT
via: 1.1 varnish
age: 0
x-served-by: cache-chi21134-CHI
x-cache: MISS
x-cache-hits: 0
x-timer: S1635500895.567732,VS0,VE29
vary: Accept-Encoding
x-fastly-request-id: ff5167e0fbdedbc618317f62891f6a6454380cad
content-length: 5970
favonia.org Whois Information
Domain Name: FAVONIA.ORG
Registry Domain ID: D167856025-LROR
Registrar WHOIS Server: whois.google.com
Registrar URL: https://domains.google.com
Updated Date: 2021-05-29T03:22:37Z
Creation Date: 2013-02-11T15:52:29Z
Registry Expiry Date: 2022-02-11T15:52:29Z
Registrar: Google LLC
Registrar IANA ID: 895
Registrar Abuse Contact Email: registrar-abuse@google.com
Registrar Abuse Contact Phone: +1.8772376466
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant Organization: Contact Privacy Inc. Customer 124695182
Registrant State/Province: ON
Registrant Country: CA
Name Server: VITA.NS.CLOUDFLARE.COM
Name Server: ANDRONICUS.NS.CLOUDFLARE.COM
DNSSEC: signedDelegation
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-09-16T23:31:36Z <<<