Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Dan Frumin (home |
Description | Dan Frumin (home page) About I am a postdoc researcher in the Logic and Semantics group working with Lars Birkedal on modeling and reasoning about effectf |
Keywords | N/A |
WebSite | groupoid.moe |
Host IP | 93.177.65.181 |
Location | - |
Site | Rank |
US$736,821
Last updated: 2023-05-14 23:48:40
groupoid.moe has Semrush global rank of 14,364,838. groupoid.moe has an estimated worth of US$ 736,821, based on its estimated Ads revenue. groupoid.moe receives approximately 85,018 unique visitors each day. Its web server is located in -, with IP address 93.177.65.181. According to SiteAdvisor, groupoid.moe is safe to visit. |
Purchase/Sale Value | US$736,821 |
Daily Ads Revenue | US$681 |
Monthly Ads Revenue | US$20,405 |
Yearly Ads Revenue | US$244,852 |
Daily Unique Visitors | 5,668 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
groupoid.moe. | A | 900 | IP: 93.177.65.181 |
groupoid.moe. | NS | 900 | NS Record: ns2.hover.com. |
groupoid.moe. | NS | 900 | NS Record: ns1.hover.com. |
groupoid.moe. | MX | 900 | MX Record: 10 mx.hover.com.cust.hostedemail.com. |
Dan Frumin (home page) About I am a postdoc researcher in the Logic and Semantics group working with Lars Birkedal on modeling and reasoning about effectful computations. Previously, I was a postdoc researcher in Jorge Perez’s group Fundamental Computing , working on session types and processes-as-proofs interpretations . I did my PhD under the supervision of Herman Geuvers , Freek Wiedijk , and Robbert Krebbers . My thesis is available online , together with the associated Coq mechanizations. My research is focused around formal verification, program logics, semantics, and type theory, especially with applications to concurrency. Contact information Email: dan `at’ groupoid.moe Office: Turing (building 5341) Writings Preprints Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq in submission, 2022 , Coq formalization , slides the GroLog talk This is an extended version of the CPP 2022 paper, including more details on the |
HTTP/1.1 301 Moved Permanently Server: nginx/1.14.2 Date: Fri, 24 Dec 2021 05:48:58 GMT Content-Type: text/html Content-Length: 185 Connection: keep-alive Location: https://groupoid.moe/ HTTP/1.1 200 OK Server: nginx/1.14.2 Date: Fri, 24 Dec 2021 05:48:59 GMT Content-Type: text/html Content-Length: 15794 Last-Modified: Thu, 16 Dec 2021 15:06:55 GMT Connection: keep-alive ETag: "61bb560f-3db2" Accept-Ranges: bytes |
Domain Name: groupoid.moe Registry Domain ID: D980D8675AC2D4D56ABAC408D6E116DB3-NSR Registrar WHOIS Server: whois.opensrs.net Registrar URL: www.opensrs.com Updated Date: 2020-07-24T13:47:56Z Creation Date: 2019-05-19T14:36:30Z Registry Expiry Date: 2025-05-19T14:36:30Z Registrar: Tucows Domains Inc. Registrar IANA ID: 69 Registrar Abuse Contact Email: compliance@tucows.com Registrar Abuse Contact Phone: +1.4165350123 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant Organization: Contact Privacy Inc. Customer 0154762784 Registrant State/Province: ON Registrant Country: CA Name Server: ns1.hover.com Name Server: ns2.hover.com DNSSEC: unsigned >>> Last update of WHOIS database: 2022-02-10T01:54:28Z <<< |