Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: Perma Disallow: /blog/ Disallow: /about.html Disallow: /cv.html Disallow: /gpg.html Disallow: /projects/ Disallow: /projects.html Disallow: /index.html Disallow: /cgi-bin/ Disallow: /img/ Disallow: /imgs/ Disallow: /downloads/ Disallow: /css/ Disallow: /js/ Disallow: /pixie/ Disallow: /status/ User-agent: * Disallow: /cgi-bin/ Disallow: /img/ Disallow: /imgs/ Disallow: /downloads/ Disallow: /pixie/ Disallow: |
Title | William J. Bowman | |
Description | William J. Bowman’s home on the |
Keywords | William J. Bowman, Dr. Bowman, Prof. Bowman,PhD,Ph.D.,William,type-theory,type theory,meta-theory,meta theory,compilers,verification,full abstraction,equivalence preservation |
WebSite | williamjbowman.com |
Host IP | 192.155.88.116 |
Location | United States |
Site | Rank |
US$3,637,879
Last updated: 2023-05-01 13:14:17
williamjbowman.com has Semrush global rank of 2,909,471. williamjbowman.com has an estimated worth of US$ 3,637,879, based on its estimated Ads revenue. williamjbowman.com receives approximately 419,756 unique visitors each day. Its web server is located in United States, with IP address 192.155.88.116. According to SiteAdvisor, williamjbowman.com is safe to visit. |
Purchase/Sale Value | US$3,637,879 |
Daily Ads Revenue | US$3,359 |
Monthly Ads Revenue | US$100,742 |
Yearly Ads Revenue | US$1,208,896 |
Daily Unique Visitors | 27,984 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
williamjbowman.com. | A | 3599 | IP: 192.155.88.116 |
williamjbowman.com. | AAAA | 3599 | IPV6: 2600:3c03::f03c:91ff:fe70:f65 |
williamjbowman.com. | NS | 21600 | NS Record: ns-cloud-e4.googledomains.com. |
williamjbowman.com. | NS | 21600 | NS Record: ns-cloud-e3.googledomains.com. |
williamjbowman.com. | NS | 21600 | NS Record: ns-cloud-e1.googledomains.com. |
williamjbowman.com. | NS | 21600 | NS Record: ns-cloud-e2.googledomains.com. |
williamjbowman.com. | MX | 3600 | MX Record: 10 williamjbowman.com. |
williamjbowman.com. | TXT | 3600 | TXT Record: v=spf1 a mx ip4:192.155.88.116 ip6:2600:3c03::f03c:91ff:fe70:f65 ~all |
Home Vitae Papers Teaching Blog All Posts academia games linux memes meta musings notes open access optimize everything rambling random recipe research tinkering tricks tutorial windows wsl Atom William J. Bowman | Home William J. Bowman is an Assistant Professor of computer science in the Software Practices Lab at University of British Columbia. Broadly speaking, he is interested in making it easier for programmers to communicate their intent to machines, and preserving that intent through compilation. More specifically, his research interests include secure and verified compilation, dependently typed programming, verification, meta-programming, and interoperability. His recent work examines type-preserving compilation of dependently typed programming languages like Coq, a technique that can enable preserving security and correctness invariants of verified software through compilation and statically enforcing those invariants in the low-level (assembly-like) code generated by |
HTTP/1.1 301 Moved Permanently Server: nginx Date: Sun, 24 Oct 2021 03:17:25 GMT Content-Type: text/html Content-Length: 178 Connection: keep-alive Location: https://www.williamjbowman.com/ Strict-Transport-Security: max-age=31536000; includeSubDomains HTTP/2 200 server: nginx date: Sun, 24 Oct 2021 03:17:26 GMT content-type: text/html content-length: 40311 last-modified: Sun, 26 Sep 2021 22:16:54 GMT etag: "6150f156-9d77" expires: Mon, 24 Oct 2022 03:17:26 GMT cache-control: max-age=31536000 strict-transport-security: max-age=31536000; includeSubDomains accept-ranges: bytes |
Domain Name: WILLIAMJBOWMAN.COM Registry Domain ID: 1677398618_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.google.com Registrar URL: http://domains.google.com Updated Date: 2020-07-04T08:59:53Z Creation Date: 2011-09-16T15:23:55Z Registry Expiry Date: 2021-09-16T15:23:55Z Registrar: Google LLC Registrar IANA ID: 895 Registrar Abuse Contact Email: registrar-abuse@google.com Registrar Abuse Contact Phone: +1.8772376466 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS-CLOUD-E1.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-E2.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-E3.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-E4.GOOGLEDOMAINS.COM DNSSEC: signedDelegation DNSSEC DS Data: 39229 8 2 CD4E661FAD2E41F1B1A3E884DCB41DEE6727B29C75E88A1ECED9DCA55B995958 >>> Last update of whois database: 2021-09-12T11:39:17Z <<< |