Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Homepage - Emanuele |
Description | My research, projects and |
Keywords | N/A |
WebSite | emanueledosualdo.com |
Host IP | 217.70.184.38 |
Location | France |
Site | Rank |
US$820,030
Last updated: 2023-05-16 10:48:49
emanueledosualdo.com has Semrush global rank of 12,907,215. emanueledosualdo.com has an estimated worth of US$ 820,030, based on its estimated Ads revenue. emanueledosualdo.com receives approximately 94,619 unique visitors each day. Its web server is located in France, with IP address 217.70.184.38. According to SiteAdvisor, emanueledosualdo.com is safe to visit. |
Purchase/Sale Value | US$820,030 |
Daily Ads Revenue | US$757 |
Monthly Ads Revenue | US$22,709 |
Yearly Ads Revenue | US$272,503 |
Daily Unique Visitors | 6,308 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
emanueledosualdo.com. | A | 10800 | IP: 217.70.184.38 |
emanueledosualdo.com. | NS | 10800 | NS Record: b.dns.gandi.net. |
emanueledosualdo.com. | NS | 10800 | NS Record: c.dns.gandi.net. |
emanueledosualdo.com. | NS | 10800 | NS Record: a.dns.gandi.net. |
emanueledosualdo.com. | MX | 10800 | MX Record: 10 spool.mail.gandi.net. |
emanueledosualdo.com. | MX | 10800 | MX Record: 50 fb.mail.gandi.net. |
emanueledosualdo.com. | TXT | 3600 | TXT Record: google-site-verification=pRVAcekxu5zDmtRXLDYsDa0RF0mzTW3TKERtAS85LCk |
what is this? Emanuele D’Osualdo Researcher in Computer Science Home Blog Research Software About Contact Welcome to my homepage! I am a Postdoctoral Researcher in Theoretical Computer Science at MPI-SWS Saarbrücken, working with Derek Dreyer . Until September 2020 I was a Marie Curie Fellow at Imperial College London , working with Prof. P. Gardner . Contact me I am actively looking for faculty positions: contact me if you think I could be a good fit! My research interests include Programming Languages, Verification, Security, Concurrency Theory, Types, Static Analysis, Process Algebra, Model Checking. News • See all 24 Apr ’23 I am in the PC of POPL’24 . April ’23 I am in the PC of the Erlang Workshop’23 . Jan 2023 The DimSum paper won a distinguished paper award at POPL23! 20 Dec ’22 New post: I will be at POPL’23! E-mail GitHub Twitter Mastodon LinkedIn |
HTTP/1.1 301 Moved Permanently Server: nginx Date: Sun, 23 Jan 2022 08:58:21 GMT Content-Type: text/html Connection: close Location: http://www.emanueledosualdo.com Cache-Control: max-age=10800 Vary: Accept-Language HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://www.emanueledosualdo.com/ X-GitHub-Request-Id: C82E:8DE8:F403AF:FAEBE8:61ED18AD Content-Length: 162 Accept-Ranges: bytes Date: Sun, 23 Jan 2022 08:58:21 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-hel1410020-HEL X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1642928301.229314,VS0,VE111 Vary: Accept-Encoding X-Fastly-Request-ID: bb5f4b9e924c223d4712744459f39a41c7a3b1ad HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Mon, 17 Jan 2022 13:36:05 GMT access-control-allow-origin: * etag: "61e570c5-1da0" expires: Sun, 23 Jan 2022 09:08:21 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: F27E:96B1:7499A1:7991F0:61ED18AD accept-ranges: bytes date: Sun, 23 Jan 2022 08:58:21 GMT via: 1.1 varnish age: 0 x-served-by: cache-hel1410020-HEL x-cache: MISS x-cache-hits: 0 x-timer: S1642928301.358996,VS0,VE112 vary: Accept-Encoding x-fastly-request-id: 2f1d42ac290070082bbde82e01bf0c07ce9d060d content-length: 7584 |
Domain Name: EMANUELEDOSUALDO.COM Registry Domain ID: 2001333083_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.gandi.net Registrar URL: http://www.gandi.net Updated Date: 2021-12-09T21:02:57Z Creation Date: 2016-02-08T20:37:27Z Registry Expiry Date: 2026-02-08T20:37:27Z Registrar: Gandi SAS Registrar IANA ID: 81 Registrar Abuse Contact Email: abuse@support.gandi.net Registrar Abuse Contact Phone: +33.170377661 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: A.DNS.GANDI.NET Name Server: B.DNS.GANDI.NET Name Server: C.DNS.GANDI.NET DNSSEC: unsigned >>> Last update of whois database: 2022-01-23T08:17:45Z <<< |