Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | John |
Description | Publications Homepage of John Toman, |
Keywords | N/A |
WebSite | johnadtoman.com |
Host IP | 142.93.206.17 |
Location | Canada |
Site | Rank |
US$1,428,708
Last updated: 2023-05-17 20:41:17
johnadtoman.com has Semrush global rank of 7,408,305. johnadtoman.com has an estimated worth of US$ 1,428,708, based on its estimated Ads revenue. johnadtoman.com receives approximately 164,851 unique visitors each day. Its web server is located in Canada, with IP address 142.93.206.17. According to SiteAdvisor, johnadtoman.com is safe to visit. |
Purchase/Sale Value | US$1,428,708 |
Daily Ads Revenue | US$1,319 |
Monthly Ads Revenue | US$39,565 |
Yearly Ads Revenue | US$474,771 |
Daily Unique Visitors | 10,991 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
johnadtoman.com. | A | 3600 | IP: 142.93.206.17 |
johnadtoman.com. | NS | 21600 | NS Record: ns-cloud-d1.googledomains.com. |
johnadtoman.com. | NS | 21600 | NS Record: ns-cloud-d3.googledomains.com. |
johnadtoman.com. | NS | 21600 | NS Record: ns-cloud-d2.googledomains.com. |
johnadtoman.com. | NS | 21600 | NS Record: ns-cloud-d4.googledomains.com. |
John Toman johnadtoman@gmail.com Blog Side Projects I am currently the VP Research & Development at Certora, Inc. . In this capacity, I have found multiple bugs in the Solidity compiler’s output, which you can read all about on medium . This is my personal/academic homepage; if you want to reach out about smart contracts or the blockchain: don’t. I was formerly a post-doctoral researcher at Kyoto University in the lab of Prof. Atsushi Igarashi . I graduated with a PhD in March 2019 from the Computer Science and Engineering department at the University of Washington. I worked in the PLSE group and I was advised by Dan Grossman . I’ve also collaborated with Emina Torlak . Most recently I worked on the automated verification of object-oriented programs. More generally my research has focused on using program analysis to solve practical software engineering problems and improving the soundness and precision of analyses on difficult-to-analyze, framework-based applications. My research |
HTTP/1.1 301 Moved Permanently Server: nginx/1.14.0 (Ubuntu) Date: Tue, 19 Apr 2022 09:10:13 GMT Content-Type: text/html Content-Length: 194 Connection: keep-alive Location: https://johnadtoman.com/ HTTP/1.1 200 OK Server: nginx/1.14.0 (Ubuntu) Date: Tue, 19 Apr 2022 09:10:13 GMT Content-Type: text/html Content-Length: 9730 Last-Modified: Mon, 20 Apr 2020 19:49:30 GMT Connection: keep-alive ETag: "5e9dfcca-2602" Accept-Ranges: bytes |
Domain Name: JOHNADTOMAN.COM Registry Domain ID: 2507624872_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.google.com Registrar URL: http://domains.google.com Updated Date: 2022-03-27T00:41:44Z Creation Date: 2020-03-26T17:26:48Z Registry Expiry Date: 2023-03-26T17:26:48Z 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-D1.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-D2.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-D3.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-D4.GOOGLEDOMAINS.COM DNSSEC: signedDelegation DNSSEC DS Data: 17717 8 2 A627924D572160384C8E7EBE9FD386EC92195C2F759B0C8069DF74E8BE02D377 >>> Last update of whois database: 2022-04-19T09:50:30Z <<< |