Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | iwilare |
Description | Andrea Andrea Laretto Hello, I’m Andrea! I’m a first year PhD student at Tallinn University of Technology in the Logic and Semantics Group under the supervision |
Keywords | N/A |
WebSite | iwilare.com |
Host IP | 185.199.108.153 |
Location | - |
Site | Rank |
US$3,211,270
Last updated: 2023-05-18 18:06:38
iwilare.com has Semrush global rank of 3,295,987. iwilare.com has an estimated worth of US$ 3,211,270, based on its estimated Ads revenue. iwilare.com receives approximately 370,532 unique visitors each day. Its web server is located in -, with IP address 185.199.108.153. According to SiteAdvisor, iwilare.com is safe to visit. |
Purchase/Sale Value | US$3,211,270 |
Daily Ads Revenue | US$2,965 |
Monthly Ads Revenue | US$88,928 |
Yearly Ads Revenue | US$1,067,130 |
Daily Unique Visitors | 24,703 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
iwilare.com. | A | 3600 | IP: 185.199.108.153 |
iwilare.com. | A | 3600 | IP: 185.199.111.153 |
iwilare.com. | A | 3600 | IP: 185.199.109.153 |
iwilare.com. | A | 3600 | IP: 185.199.110.153 |
iwilare.com. | NS | 21600 | NS Record: ns-cloud-a2.googledomains.com. |
iwilare.com. | NS | 21600 | NS Record: ns-cloud-a4.googledomains.com. |
iwilare.com. | NS | 21600 | NS Record: ns-cloud-a1.googledomains.com. |
iwilare.com. | NS | 21600 | NS Record: ns-cloud-a3.googledomains.com. |
iwilare.com. | MX | 3600 | MX Record: 10 alt1.gmr-smtp-in.l.google.com. |
iwilare.com. | MX | 3600 | MX Record: 5 gmr-smtp-in.l.google.com. |
iwilare.com. | MX | 3600 | MX Record: 40 alt4.gmr-smtp-in.l.google.com. |
iwilare.com. | MX | 3600 | MX Record: 30 alt3.gmr-smtp-in.l.google.com. |
iwilare.com. | MX | 3600 | MX Record: 20 alt2.gmr-smtp-in.l.google.com. |
Andrea Laretto Hello, I’m Andrea! I’m a first year PhD student at Tallinn University of Technology in the Logic and Semantics Group under the supervision of Niccolò Veltri and Fosco Loregian . I’m interested in dependent type theory, λ-calculus, programming languages, and category theory. I love programming/proving in Agda, Haskell, and Rust. [ CV] [ GitHub] [ Twitter] Tumblr --> Theses 2022-10-07 Counterpart Semantics for Quantified Temporal Logics: Sets, Categories and Agda Master’s Thesis @ University of Pisa (110/110 with honors) Presentations: [ Slides] 2023-01-14 - ?? World Logic Day 2023 - Logic in Estonia Workshop, Tallinn [ Slides] 2022-12-21 - ?? 3rd ItaCa Workshop, Pisa [ Slides] 2022-11-02 - ?? Nordic Workshop on Programming Theory 2022, Bergen 2020-06-23 Formalizations of the Church-Rosser Theorem in Agda Bachelor’s Thesis @ University of Turin (110/110 with honors) Awarded the AILA 3+2 prize for best Italian theses in logic, announcement (in Italian) Seminars |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://iwilare.com/ X-GitHub-Request-Id: 4B88:D3EC:7D8F:8150:62CBE24F Content-Length: 162 Accept-Ranges: bytes Date: Mon, 11 Jul 2022 08:41:51 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-hel1410021-HEL X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1657528912.573551,VS0,VE114 Vary: Accept-Encoding X-Fastly-Request-ID: 02d4c90d7ca8dc900b3860b3bf2004747bac3132 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Thu, 19 May 2022 22:34:04 GMT access-control-allow-origin: * etag: "6286c5dc-11f1" expires: Mon, 11 Jul 2022 08:51:51 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 81C8:E425:05B8:07B2:62CBE24F accept-ranges: bytes date: Mon, 11 Jul 2022 08:41:51 GMT via: 1.1 varnish age: 0 x-served-by: cache-hel1410025-HEL x-cache: MISS x-cache-hits: 0 x-timer: S1657528912.702551,VS0,VE114 vary: Accept-Encoding x-fastly-request-id: 92c20557705a7c2e34b69b92bc15b27d975f2191 content-length: 4593 |
Domain Name: IWILARE.COM Registry Domain ID: 2532361101_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.google.com Registrar URL: http://domains.google.com Updated Date: 2022-05-31T02:45:55Z Creation Date: 2020-05-30T23:44:20Z Registry Expiry Date: 2023-05-30T23:44:20Z 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 Name Server: NS-CLOUD-A1.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-A2.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-A3.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-A4.GOOGLEDOMAINS.COM DNSSEC: signedDelegation DNSSEC DS Data: 63179 8 2 48C206C55723A8ECDABC583A0D196A404DCDD1E18D7D8F280ECBD89F93BADF51 >>> Last update of whois database: 2022-07-11T08:45:39Z <<< |