Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | liamoc.net – Dr. Liam |
Description | Welcome Home Contact Papers Posts Dr. Liam O’Connor 20th July 2021 liamoc.net Welcome I am Liam O’Connor, a Lecturer in Programming Languages for Trustworthy Syst |
Keywords | N/A |
WebSite | liamoc.net |
Host IP | 54.213.244.172 |
Location | United States |
Site | Rank |
US$1,303,023
Last updated: 2023-05-10 01:56:25
liamoc.net has Semrush global rank of 8,122,883. liamoc.net has an estimated worth of US$ 1,303,023, based on its estimated Ads revenue. liamoc.net receives approximately 150,349 unique visitors each day. Its web server is located in United States, with IP address 54.213.244.172. According to SiteAdvisor, liamoc.net is safe to visit. |
Purchase/Sale Value | US$1,303,023 |
Daily Ads Revenue | US$1,203 |
Monthly Ads Revenue | US$36,084 |
Yearly Ads Revenue | US$433,005 |
Daily Unique Visitors | 10,024 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
liamoc.net. | A | 299 | IP: 54.213.244.172 |
liamoc.net. | NS | 300 | NS Record: ns1gmz.name.com. |
liamoc.net. | NS | 300 | NS Record: ns2qvz.name.com. |
liamoc.net. | NS | 300 | NS Record: ns3dkz.name.com. |
liamoc.net. | NS | 300 | NS Record: ns4lpv.name.com. |
liamoc.net. | MX | 1800 | MX Record: 20 alt1.aspmx.l.google.com. |
liamoc.net. | MX | 1800 | MX Record: 20 alt2.aspmx.l.google.com. |
liamoc.net. | MX | 1800 | MX Record: 10 aspmx.l.google.com. |
liamoc.net. | MX | 1800 | MX Record: 30 aspmx2.googlemail.com. |
liamoc.net. | MX | 1800 | MX Record: 30 aspmx3.googlemail.com. |
liamoc.net. | MX | 1800 | MX Record: 30 aspmx4.googlemail.com. |
liamoc.net. | MX | 1800 | MX Record: 30 aspmx5.googlemail.com. |
Home Contact Papers Posts Dr. Liam O’Connor 20th July 2021 liamoc.net Welcome I am Liam O’Connor, a Lecturer in Programming Languages for Trustworthy Systems for LFCS at the University of Edinburgh School of Informatics . I specialise in programming languages and type systems, verification, formal methods, and concurrency. At Edinburgh, I teach the Introduction to Theoretical Computer Science course, along with a handful of tutorials for Informatics 1A and Discrete Mathematics. I also (with Rob van Glabbeek ) co-teach our flagship course on concurrency theory, Modelling Concurrent Systems. In my previous posting at the University of New South Wales I taught several courses ranging from theory of programming languages to concurrency to formal methods. I work regularly in and on the Haskell programming language and the Agda proof assistant. Much of my research work involves these languages. I am the Social Media Editor of the Journal of Functional Programming , and a Member-at-Large of |
HTTP/1.1 200 OK Server: nginx/1.10.3 Date: Mon, 01 Nov 2021 22:56:22 GMT Content-Type: text/html Content-Length: 11586 Last-Modified: Sat, 14 Aug 2021 17:27:28 GMT Connection: keep-alive ETag: "6117fd00-2d42" Accept-Ranges: bytes |
Domain Name: LIAMOC.NET Registry Domain ID: 1573639432_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.domainsite.com Registrar URL: http://www.name.com Updated Date: 2020-10-10T17:15:17Z Creation Date: 2009-10-27T10:03:58Z Registry Expiry Date: 2021-10-27T10:03:58Z Registrar: DomainSite, Inc. Registrar IANA ID: 466 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS1GMZ.NAME.COM Name Server: NS2QVZ.NAME.COM Name Server: NS3DKZ.NAME.COM Name Server: NS4LPV.NAME.COM DNSSEC: unsigned >>> Last update of whois database: 2021-09-20T07:20:41Z <<< |