Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Greg |
Description | Greg Dennis I am currently a Software Engineer at Google. I was formerly a PhD student at MIT in the Department of Electrical Engineering and Computer Sci |
Keywords | N/A |
WebSite | gregdennis.com |
Host IP | 162.241.252.95 |
Location | United States |
Site | Rank |
US$1,365
Last updated: 2023-05-20 05:13:54
gregdennis.com has Semrush global rank of 0. gregdennis.com has an estimated worth of US$ 1,365, based on its estimated Ads revenue. gregdennis.com receives approximately 157 unique visitors each day. Its web server is located in United States, with IP address 162.241.252.95. According to SiteAdvisor, gregdennis.com is safe to visit. |
Purchase/Sale Value | US$1,365 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$37 |
Yearly Ads Revenue | US$453 |
Daily Unique Visitors | 10 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
gregdennis.com. | A | 7199 | IP: 162.241.252.95 |
gregdennis.com. | NS | 86400 | NS Record: ns2.bluehost.com. |
gregdennis.com. | NS | 86400 | NS Record: ns1.bluehost.com. |
gregdennis.com. | MX | 14400 | MX Record: 0 gregdennis.com. |
gregdennis.com. | TXT | 14400 | TXT Record: v=spf1 a mx ptr include:bluehost.com ?all |
Greg Dennis I am currently a Software Engineer at Google. I was formerly a PhD student at MIT in the Department of Electrical Engineering and Computer Science , and a member of the Software Design Group in the Computer Science and Artificial Intelligence Laboratory . At MIT, I developed techniques to check the conformance of object-oriented code to rich interface specifications . My prior research included the study of air-traffic control systems , the design of a radiation therapy machine , and contributions to the Alloy modeling language . Publications: Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph Near. Applications and Extensions of Alloy: Past, Present, and Future Mathematical Structures in Computer Science, Volume 23, August 2013, pp 915-933. Cambridge University Press. ( PDF ) Derek Rayside, Aleksander Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson. Agile Specifications. OOPSLA Onward 2009. Orlando, Florida, October 2009. ( PDF ) Greg Dennis. A Relational |
HTTP/1.1 200 OK Date: Wed, 11 Jan 2023 09:25:06 GMT Server: Apache Upgrade: h2,h2c Connection: Upgrade Last-Modified: Sat, 17 Oct 2020 21:45:19 GMT Accept-Ranges: bytes Content-Length: 5850 Vary: Accept-Encoding host-header: c2hhcmVkLmJsdWVob3N0LmNvbQ== Content-Type: text/html |