Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Jon |
Description | Jon Sterling 127 Turing Department of Computer Science Aarhus University Aabogade 34 8200 Aarhus N, Denmark jsterling@cs.au.dk https://orcid.org/0000-0002 |
Keywords | N/A |
WebSite | jonmsterling.com |
Host IP | 64.98.145.30 |
Location | Canada |
Site | Rank |
US$3,574,414
Last updated: 2023-05-16 14:39:32
jonmsterling.com has Semrush global rank of 2,961,130. jonmsterling.com has an estimated worth of US$ 3,574,414, based on its estimated Ads revenue. jonmsterling.com receives approximately 412,433 unique visitors each day. Its web server is located in Canada, with IP address 64.98.145.30. According to SiteAdvisor, jonmsterling.com is safe to visit. |
Purchase/Sale Value | US$3,574,414 |
Daily Ads Revenue | US$3,300 |
Monthly Ads Revenue | US$98,984 |
Yearly Ads Revenue | US$1,187,806 |
Daily Unique Visitors | 27,496 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
jonmsterling.com. | A | 900 | IP: 64.98.145.30 |
jonmsterling.com. | NS | 900 | NS Record: ns1.hover.com. |
jonmsterling.com. | NS | 900 | NS Record: ns2.hover.com. |
jonmsterling.com. | MX | 900 | MX Record: 20 in2-smtp.messagingengine.com. |
jonmsterling.com. | MX | 900 | MX Record: 10 in1-smtp.messagingengine.com. |
jonmsterling.com. | TXT | 900 | TXT Record: keybase-site-verification=oP3J9UYYx4wQ6AT1qKuwC2tHnZL37zWD7xtgpmEivD0 |
Jon Sterling 127 Turing Department of Computer Science Aarhus University Aabogade 34 8200 Aarhus N, Denmark jsterling@cs.au.dk https://orcid.org/0000-0002-0585-5564 Table of contents ﹡ Research ﹡ Featured Talks ﹡ Recent Drafts ﹡ Recent Publications ﹡ Doctoral Dissertation ﹡ Academic Service ﹡ Teaching I am a Marie Skłodowska-Curie Postdoctoral Fellow hosted at Aarhus University in the Logic and Semantics group by L. Birkedal , and will be starting as an Associate Professor at University of Cambridge in Autumn; I earned my PhD from Carnegie Mellon University under R. Harper . I study programming languages and semantics using type theory, category theory, domain theory, and topos theory as a guide. Previously I received a B.A. in Linguistics from U.C. Berkeley. My other interests include category theory, topos theory, formalization of mathematics, Assyriology, and ancient languages and literature. Research Central to both the design of programming languages and the practice of software |
HTTP/1.1 303 See Other Content-Type: text/html; charset=utf-8 Connection: keep-alive Status: 303 See Other X-Frame-Options: SAMEORIGIN X-XSS-Protection: 1; mode=block X-Content-Type-Options: nosniff Location: http://www.jonmsterling.com Cache-Control: no-cache Set-Cookie: request_method=HEAD; path=/ X-Request-Id: 07f4d599-7f4d-43e9-a745-ad6818c99e28 X-Runtime: 0.004305 X-Powered-By: Phusion Passenger 4.0.53 Date: Sun, 30 Jan 2022 10:01:32 GMT Server: nginx/1.6.2 + Phusion Passenger 4.0.53 P3P: CP="IDC DSP COR ADM DEVi TAIi PSA PSD IVAi IVDi CONi HIS OUR IND CNT" HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://www.jonmsterling.com/ X-GitHub-Request-Id: 7E30:8F61:140EBB0:14ED913:61F66179 Content-Length: 162 Accept-Ranges: bytes Date: Sun, 30 Jan 2022 09:59:21 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-hel1410023-HEL X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1643536761.436950,VS0,VE111 Vary: Accept-Encoding X-Fastly-Request-ID: ac0cb8f12e7294fb51908c7e3ae35d136dde1aed HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Sat, 29 Jan 2022 15:35:31 GMT access-control-allow-origin: * etag: "61f55ec3-7077" expires: Sun, 30 Jan 2022 10:09:21 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: BDA8:A82A:2B663F1:2C9B8CA:61F66179 accept-ranges: bytes date: Sun, 30 Jan 2022 09:59:21 GMT via: 1.1 varnish age: 0 x-served-by: cache-hel1410032-HEL x-cache: MISS x-cache-hits: 0 x-timer: S1643536762.567837,VS0,VE151 vary: Accept-Encoding x-fastly-request-id: c615dfa333af7efaf3a473dc3112c72cbc406d10 content-length: 28791 |
Domain Name: JONMSTERLING.COM Registry Domain ID: 1542620397_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.tucows.com Registrar URL: http://www.tucows.com Updated Date: 2021-02-14T09:08:43Z Creation Date: 2009-02-15T18:53:49Z Registry Expiry Date: 2022-02-15T18:53:49Z Registrar: Tucows Domains Inc. Registrar IANA ID: 69 Registrar Abuse Contact Email: domainabuse@tucows.com Registrar Abuse Contact Phone: +1.4165350123 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Name Server: NS1.HOVER.COM Name Server: NS2.HOVER.COM DNSSEC: unsigned >>> Last update of whois database: 2022-01-30T07:29:39Z <<< |