Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Ian Stark - University of |
Description | Ian Stark Senior Lecturer in Computer Science Laboratory for Foundations of Computer Science School of Informatics The University of Edinburgh Edinburgh E |
Keywords | N/A |
WebSite | stark.scot |
Host IP | 217.160.0.187 |
Location | Germany |
Site | Rank |
US$1,911
Last updated: 2023-05-20 00:21:43
stark.scot has Semrush global rank of 0. stark.scot has an estimated worth of US$ 1,911, based on its estimated Ads revenue. stark.scot receives approximately 220 unique visitors each day. Its web server is located in Germany, with IP address 217.160.0.187. According to SiteAdvisor, stark.scot is safe to visit. |
Purchase/Sale Value | US$1,911 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$52 |
Yearly Ads Revenue | US$635 |
Daily Unique Visitors | 14 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
stark.scot. | A | 3599 | IP: 217.160.0.187 |
stark.scot. | AAAA | 3599 | IPV6: 2001:8d8:100f:f000::25c |
stark.scot. | NS | 86400 | NS Record: ns-uk.1and1-dns.co.uk. |
stark.scot. | NS | 86400 | NS Record: ns-uk.1and1-dns.biz. |
stark.scot. | NS | 86400 | NS Record: ns-uk.1and1-dns.org. |
stark.scot. | NS | 86400 | NS Record: ns-uk.1and1-dns.com. |
stark.scot. | MX | 3600 | MX Record: 11 mx01.1and1.co.uk. |
stark.scot. | MX | 3600 | MX Record: 10 mx00.1and1.co.uk. |
Ian Stark Senior Lecturer in Computer Science Laboratory for Foundations of Computer Science School of Informatics The University of Edinburgh Edinburgh EH8 9AB, Scotland Email: Ian.Stark@ed.ac.uk Office: Informatics Forum 5.30 Office hour Wednesdays 1030–1130 --> Diary: Online calendar Telephone: +44 131 650 5143 PGP key: 0xEB58D1AD Research Papers · Talks My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and secure mobile code . Below are some papers, talks and events; for more follow the links above. On Executable Models of Molecular Evolution. Kwiatkowski and Stark, June 2011. ( PDF ) Safety Guarantees from Explicit Resource Management. Aspinall, Maier and Stark, August 2008. Free-Algebra Models for the π-Calculus. Stark, January 2008. Exploring Variation in Biochemical Pathways with Continuous pi. SynthSys , University of Edinburgh, June 2012. ( Slides ) Reasons to Believe: Digital |
HTTP/1.1 302 Found Content-Type: text/html Connection: keep-alive Keep-Alive: timeout=15 Date: Thu, 15 Dec 2022 08:43:23 GMT Server: Apache Cache-Control: no-cache Location: http://redirect.stark.scot HTTP/1.1 302 Moved Temporarily Server: nginx Date: Thu, 15 Dec 2022 08:43:23 GMT Content-Type: text/html Content-Length: 138 Connection: keep-alive Keep-Alive: timeout=15 Location: https://redirect.stark.scot/ Expires: Thu, 15 Dec 2022 09:03:23 GMT Cache-Control: max-age=1200 HTTP/2 302 content-type: text/html; charset=iso-8859-1 location: https://homepages.inf.ed.ac.uk/stark/ date: Thu, 15 Dec 2022 08:43:23 GMT server: Apache HTTP/1.1 200 OK Date: Thu, 15 Dec 2022 08:43:23 GMT Server: Apache/2.4 Accept-Ranges: bytes Content-Type: text/html; charset=utf-8 |
Domain Name: stark.scot Registry Domain ID: D11370-SCOT Registrar WHOIS Server: whois.ionos.com Registrar URL: https://ionos.com Updated Date: 2022-04-04T01:01:26.477Z Creation Date: 2015-02-18T00:18:54.468Z Registry Expiry Date: 2023-02-18T00:18:54.468Z Registrar: IONOS SE Registrar IANA ID: 83 Registrar Abuse Contact Email: abuse@ionos.com Registrar Abuse Contact Phone: +1.6105601459 Domain Status: ok https://icann.org/epp#ok Registrant Organization: Data Privacy Protected Registrant State/Province: BW Registrant Country: DE Name Server: ns-uk.1and1-dns.com Name Server: ns-uk.1and1-dns.biz Name Server: ns-uk.1and1-dns.org Name Server: ns-uk.1and1-dns.co.uk DNSSEC: unsigned Canonical Name: stark.scot IDN Tag: Latn >>> Last update of Whois database: 2022-12-15T08:37:00.691Z <<< |