Ranking Alexa Global: # 18,199,Alexa Ranking in United Kingdom is # 1,971
Server:nginx...
The main IP address: 138.251.206.220,Your server United Kingdom,Saint Andrews ISP:The University of St. Andrews TLD:uk CountryCode:GB
The description :i am a lecturer in computer science at the university of st andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (dsls). i am currently...
This report updates in 06-Jul-2018
Geo IP provides you such as latitude, longitude and ISP (Internet Service Provider) etc. informations. Our GeoIP service found where is host eb.host.cs.st-andrews.ac.uk. Currently, hosted in United Kingdom and its service provider is The University of St. Andrews .
Latitude: | 56.338710784912 |
Longitude: | -2.7990200519562 |
Country: | United Kingdom (GB) |
City: | Saint Andrews |
Region: | Scotland |
ISP: | The University of St. Andrews |
HTTP Header information is a part of HTTP protocol that a user's browser sends to called nginx containing the details of what the browser wants and will accept back from the web server.
Content-Encoding: | gzip |
Transfer-Encoding: | chunked |
Strict-Transport-Security: | max-age=15552000 |
Vary: | Accept-Encoding, Cookie |
X-ac: | 1.ewr _dca |
Server: | nginx |
Connection: | keep-alive |
Link: | |
Date: | Fri, 06 Jul 2018 02:25:57 GMT |
X-hacker: | If you're reading this, you should visit automattic.com/jobs and apply to join the fun, mention this header. |
Content-Type: | text/html; charset=UTF-8 |
cname: | trenco.cs.st-andrews.ac.uk. |
ipv4: | IP:138.251.206.220 ASN:786 OWNER:JANET Jisc Services Limited, GB Country:GB |
home publications software contact blog rss feed about i am a lecturer in computer science at the university of st andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (dsls). i am currently working on the implementation of dsls for stateful, resource-aware programming, especially for correct network protocol design and implementation, using idris , a dependently typed functional programming language. when i’m not doing that, you might find me playing go (i’m about 1 kyu), walking up a hill, watching a game of cricket, or waiting for a delayed train. i’m afraid i also perpetrated the whitespace programming language. you can email me at [email protected] . posted august 17, 2011 by edwinb categories dependent types domain specific languages hacks idris papers talks blogroll epilogue idris idris tutorial tweets i want one of these! but nobody seems to sell them any more... twitter.com/andre_videla/s… 1 day ago rt @ dysinger : i'm looking for contract work as a functional dev. i have 20+ years of sw dev experience on linux/bsd with many of those year… 3 days ago hearing the ivor the engine theme via @ bbcgidcoeshow reminds me: rip peter firmin, without whom i'd be giving my ac… twitter.com/i/web/status/1… 3 days ago it's summer, but university lecturers are still working full time... twitter.com/mantia/status/… 3 days ago follow @edwinbrady back to top blog at wordpress.com. post to cancel
Whois is a protocol that is access to registering information. You can reach when the website was registered, when it will be expire, what is contact details of the site with the following informations. In a nutshell, it includes these informations;
No such domain ac.uk
REFERRER http://www.nominet.org.uk
REGISTRAR Nominet UK
SERVERS
SERVER ac.uk.whois-servers.net
ARGS ac.uk
PORT 43
TYPE domain
REGISTERED no
DOMAIN
NAME ac.uk
NSERVER
NS2.JA.NET 193.63.105.17
AUTH03.NS.UU.NET 198.6.1.83
NS3.JA.NET 193.63.106.103
NS1.SURFNET.NL 192.87.106.101
NS4.JA.NET 193.62.157.66
WS-FRA1.WIN-IP.DFN.DE 193.174.75.178
NS0.JA.NET 193.63.94.20
The following list shows you to spelling mistakes possible of the internet users for the website searched .