Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Chris |
Description | Home Papers Projects Chris Casinghino Researcher Programming Languages Type Theory Formal Methods Security email: chris.casinghino@gmail.com --> I’m an |
Keywords | N/A |
WebSite | tyconmismatch.com |
Host IP | 68.183.54.165 |
Location | United States |
Site | Rank |
US$621,547
Last updated: 2023-05-11 14:50:03
tyconmismatch.com has Semrush global rank of 17,028,986. tyconmismatch.com has an estimated worth of US$ 621,547, based on its estimated Ads revenue. tyconmismatch.com receives approximately 71,717 unique visitors each day. Its web server is located in United States, with IP address 68.183.54.165. According to SiteAdvisor, tyconmismatch.com is safe to visit. |
Purchase/Sale Value | US$621,547 |
Daily Ads Revenue | US$574 |
Monthly Ads Revenue | US$17,213 |
Yearly Ads Revenue | US$206,545 |
Daily Unique Visitors | 4,782 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
tyconmismatch.com. | A | 3600 | IP: 68.183.54.165 |
tyconmismatch.com. | AAAA | 3600 | IPV6: 2604:a880:800:c1::d:3001 |
tyconmismatch.com. | NS | 3600 | NS Record: ns2.hcoop.net. |
tyconmismatch.com. | NS | 3600 | NS Record: ns1.hcoop.net. |
tyconmismatch.com. | MX | 3600 | MX Record: 1 mail.hcoop.net. |
Home Papers Projects Chris Casinghino Researcher Programming Languages Type Theory Formal Methods Security email: chris.casinghino@gmail.com --> I’m an engineer and researcher in the areas of programming languages, type theory, and cyber security. Currently, I’m working on OCaml as a compiler engineer at Jane Street . Previously, at Draper Labs , I led projects ranging from the design and implementation of a policy language for a security coprocessor to development of static binary analysis tools . Before that, I was a student in the Penn programming languages group . I worked with Stephanie Weirich on the design and use of dependently typed languages. I finished up my PhD in the fall of |
HTTP/1.1 302 Found Date: Thu, 04 Nov 2021 23:33:07 GMT Server: Apache Location: https://tyconmismatch.com/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Thu, 04 Nov 2021 23:33:07 GMT Server: Apache Last-Modified: Fri, 24 Sep 2021 02:29:45 GMT ETag: "bf3-5ccb4853b7840" Accept-Ranges: bytes Content-Length: 3059 Vary: Accept-Encoding Content-Type: text/html; charset=UTF-8 |
Domain Name: TYCONMISMATCH.COM Registry Domain ID: 890680994_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.godaddy.com Updated Date: 2021-03-24T19:09:18Z Creation Date: 2007-03-24T04:22:41Z Registry Expiry Date: 2023-03-24T04:22:41Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: 480-624-2505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Name Server: NS1.HCOOP.NET Name Server: NS2.HCOOP.NET DNSSEC: unsigned >>> Last update of whois database: 2021-11-03T06:47:53Z <<< |