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