Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: |
Title | David J. |
Description | Bio Dr. David J. Pearce Blog Projects Publications Talks Home Bio I’m a research engineer in the Trustworthy Smart Contracts Team at ConsenSys . My current fo |
Keywords | N/A |
WebSite | whileydave.com |
Host IP | 185.199.108.153 |
Location | - |
Site | Rank |
US$1,485,378
Last updated: 2023-05-15 03:34:08
whileydave.com has Semrush global rank of 7,125,664. whileydave.com has an estimated worth of US$ 1,485,378, based on its estimated Ads revenue. whileydave.com receives approximately 171,390 unique visitors each day. Its web server is located in -, with IP address 185.199.108.153. According to SiteAdvisor, whileydave.com is safe to visit. |
Purchase/Sale Value | US$1,485,378 |
Daily Ads Revenue | US$1,372 |
Monthly Ads Revenue | US$41,134 |
Yearly Ads Revenue | US$493,603 |
Daily Unique Visitors | 11,426 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
whileydave.com. | A | 300 | IP: 185.199.108.153 |
whileydave.com. | NS | 3600 | NS Record: ns2.austdomains.com.au. |
whileydave.com. | NS | 3600 | NS Record: ns1.austdomains.com.au. |
Dr. David J. Pearce Blog Projects Publications Talks Home Bio I’m a research engineer in the Trustworthy Smart Contracts Team at ConsenSys . My current focus is on the application of formal methods to smart contracts. Before that, I was an Associate Professor in the School of Engineering and Computer Science at Victoria University of Wellington . I graduated from the Department of Computing at Imperial College London, and moved to New Zealand in 2004. My research interests are in programming languages , compilers , static analysis tools and formal verification . During my time as a PhD student I was an intern at Bell Labs, New Jersey, working on compilers for FPGAs and also at IBM Hursley, UK, working with the AspectJ development team on profiling systems. Research During my PhD I developed several new algorithms for static pointer analysis . Since then I have continued working on techniques for static analysis and verification tools, and several of my algorithms have since found |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://whileydave.com/ X-GitHub-Request-Id: 3F2C:26EB:AB777B:10D4769:61C5D937 Content-Length: 162 Accept-Ranges: bytes Date: Fri, 24 Dec 2021 14:29:11 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-lga21947-LGA X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1640356152.671666,VS0,VE9 Vary: Accept-Encoding X-Fastly-Request-ID: f87e8d6dd0278b09feb377607a2e572f879c6bbe HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Tue, 07 Dec 2021 20:20:02 GMT access-control-allow-origin: * etag: "61afc1f2-174d" expires: Fri, 24 Dec 2021 14:39:11 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 42B4:643F:AFE545:1121284:61C5D937 accept-ranges: bytes date: Fri, 24 Dec 2021 14:29:11 GMT via: 1.1 varnish age: 0 x-served-by: cache-ewr18146-EWR x-cache: MISS x-cache-hits: 0 x-timer: S1640356152.703479,VS0,VE11 vary: Accept-Encoding x-fastly-request-id: f669c7f680ca3c8076ee22a7f5accaeb088d426e content-length: 5965 |
Domain Name: WHILEYDAVE.COM Registry Domain ID: 2551581630_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.crazydomains.com Registrar URL: http://www.crazydomains.com.au Updated Date: 2020-08-07T22:38:24Z Creation Date: 2020-08-07T22:38:24Z Registry Expiry Date: 2022-08-07T22:38:24Z Registrar: Dreamscape Networks International Pte Ltd Registrar IANA ID: 1291 Registrar Abuse Contact Email: abuse@crazydomains.com Registrar Abuse Contact Phone: +61 894 220 890 Domain Status: ok https://icann.org/epp#ok Name Server: NS1.AUSTDOMAINS.COM.AU Name Server: NS2.AUSTDOMAINS.COM.AU DNSSEC: unsigned >>> Last update of whois database: 2021-12-28T07:06:35Z <<< |