Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Will |
Description | Will Crichton wcrichto@brown.edu CV I am a computer scientist. My research combines cognitive psychology and programming language theory to understand how |
Keywords | N/A |
WebSite | willcrichton.net |
Host IP | 185.199.111.153 |
Location | - |
Site | Rank |
US$3,196,843
Last updated: 2023-05-13 19:48:42
willcrichton.net has Semrush global rank of 3,310,862. willcrichton.net has an estimated worth of US$ 3,196,843, based on its estimated Ads revenue. willcrichton.net receives approximately 368,867 unique visitors each day. Its web server is located in -, with IP address 185.199.111.153. According to SiteAdvisor, willcrichton.net is safe to visit. |
Purchase/Sale Value | US$3,196,843 |
Daily Ads Revenue | US$2,951 |
Monthly Ads Revenue | US$88,528 |
Yearly Ads Revenue | US$1,062,336 |
Daily Unique Visitors | 24,592 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
willcrichton.net. | A | 3599 | IP: 185.199.111.153 |
willcrichton.net. | A | 3599 | IP: 185.199.110.153 |
willcrichton.net. | A | 3599 | IP: 185.199.109.153 |
willcrichton.net. | A | 3599 | IP: 185.199.108.153 |
willcrichton.net. | NS | 3600 | NS Record: ns10.domaincontrol.com. |
willcrichton.net. | NS | 3600 | NS Record: ns09.domaincontrol.com. |
willcrichton.net. | TXT | 3600 | TXT Record: google-site-verification=IegxdmvWYNe_yaRm0VSTTTKUxH-lEFbxrwwHfgYgkUI |
Will Crichton wcrichto@brown.edu CV I am a computer scientist. My research combines cognitive psychology and programming language theory to understand how people program, and to design better tools for programmers. I am currently a postdoc at Brown University advised by Shriram Krishnamurthi , working on making Rust easier to learn. I completed my Ph.D. at Stanford University advised by Pat Hanrahan and Maneesh Agrawala . I will be on the academic job market in the 2023-24 cycle. In my research I build theories and systems about programming. A theory tries to understand a concept in a simplified setting where its properties can be identified via logical or statistical analysis. A system applies theory to a real-world setting where unexpected constraints and engineering concerns influence the theory’s application. Theories I developed an algorithm for using ownership types to statically / modularly analyze information flow, and proved its soundness as noninterference [1] . I showed |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://willcrichton.net/ X-GitHub-Request-Id: 191C:2C5D:26D8A1:4066A6:61C2751E Content-Length: 162 Accept-Ranges: bytes Date: Wed, 22 Dec 2021 00:45:18 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-ewr18167-EWR X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1640133919.937790,VS0,VE9 Vary: Accept-Encoding X-Fastly-Request-ID: 021338ab236387f30f0c30cb8b33eb851690ced5 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Sat, 11 Sep 2021 00:23:47 GMT access-control-allow-origin: * etag: "613bf713-ca5" expires: Wed, 22 Dec 2021 00:55:19 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: A3A0:74DD:3CDC08:5E726F:61C2751F accept-ranges: bytes date: Wed, 22 Dec 2021 00:45:19 GMT via: 1.1 varnish age: 0 x-served-by: cache-lga21967-LGA x-cache: MISS x-cache-hits: 0 x-timer: S1640133919.996961,VS0,VE13 vary: Accept-Encoding x-fastly-request-id: 365ad06c8bdc7bd38544497bb26834ecf727ee22 content-length: 3237 |
Domain Name: WILLCRICHTON.NET Registry Domain ID: 1579811971_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.godaddy.com Updated Date: 2021-12-24T16:56:38Z Creation Date: 2009-12-24T01:15:21Z Registry Expiry Date: 2022-12-24T01:15:21Z 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: NS09.DOMAINCONTROL.COM Name Server: NS10.DOMAINCONTROL.COM DNSSEC: unsigned >>> Last update of whois database: 2021-12-25T08:37:41Z <<< |