liamoc.net

liamoc.net - Home

I am Liam OConnor, a computer science researcher, student and teacher, currently working at UNSW. I specialise in programming languages and type systems, verification, compilers, formal methods, concurrency and parallel programming. As a member of the UNSW PLS Group. I work regularly in and on the Haskell. Programming language and the Agda. Proof assistant. I have strong interest in the PLS projects DPH. I am the designer of the Cogent. Project and tools for the Isabelle. This contains my blog.
history traffic contact

OVERVIEW

This web page liamoc.net presently has a traffic ranking of four hundred and twenty-one thousand nine hundred and ninety-seven (the lower the more traffic). We have sifted zero pages inside the web page liamoc.net and found three websites referencing liamoc.net. I noted one contacts and addresses for liamoc.net to help you reach them. This web page liamoc.net has been online for seven hundred and ninety-six weeks, three days, nineteen hours, and twenty-five minutes.
Traffic Rank
#421997
Links to this site
3
Contacts
1
Locations
1
Online Since
Oct 2009

LIAMOC.NET RANKINGS

This web page liamoc.net is seeing varying levels of traffic all through the year. Prominently, the domain had a ranking today of four hundred and twenty-one thousand nine hundred and ninety-seven.
Traffic for liamoc.net

Date Range

1 week
1 month
3 months
This Year
Last Year
All time
Traffic ranking (by month) for liamoc.net

Date Range

All time
This Year
Last Year
Traffic ranking by day of the week for liamoc.net

Date Range

All time
This Year
Last Year
Last Month

LIAMOC.NET HISTORY

This web page liamoc.net was first filed on October 27, 2009. It was last updated on the date of October 15, 2013. This website will go back on the market on October 27, 2014. It is currently seven hundred and ninety-six weeks, three days, nineteen hours, and twenty-five minutes old.
REGISTERED
October
2009
UPDATED
October
2013
EXPIRED
October
2014

WEBPAGE LENGTH OF LIFE

15
YEARS
3
MONTHS
2
DAYS

LINKS TO WEB PAGE

William DeMeo

I am a postdoctoral associate at Iowa State University. My primary interests are universal algebra, lattice theory, group theory, logic, computability, type theory and functional programming. The page you are reading is my open notebook. The posts are usually rough and maybe misguided. This is a notebook for doing research. It is not a blog.

WHAT DOES LIAMOC.NET LOOK LIKE?

Desktop Screenshot of liamoc.net Mobile Screenshot of liamoc.net Tablet Screenshot of liamoc.net

CONTACTS

Whois Privacy Protection Service, Inc.

Whois Agent

PO Box 639

Kirkland, WA, 98083

US

1.4252740657
liamoc.net@protecteddomainservices.com

LIAMOC.NET HOST

Our web crawlers caught that the main page on liamoc.net took three hundred and twenty-seven milliseconds to come up. I could not discover a SSL certificate, so I consider liamoc.net not secure.
Load time
0.327 seconds
SSL
NOT SECURE
Internet Address
203.189.96.163

NAME SERVERS

ns1gmz.domainsite.com
ns2qvz.domainsite.com
ns3dkz.domainsite.com
ns4lpv.domainsite.com

FAVORITE ICON

SERVER OPERATING SYSTEM AND ENCODING

I caught that this domain is implementing the nginx/1.12.2 server.

PAGE TITLE

liamoc.net - Home

DESCRIPTION

I am Liam OConnor, a computer science researcher, student and teacher, currently working at UNSW. I specialise in programming languages and type systems, verification, compilers, formal methods, concurrency and parallel programming. As a member of the UNSW PLS Group. I work regularly in and on the Haskell. Programming language and the Agda. Proof assistant. I have strong interest in the PLS projects DPH. I am the designer of the Cogent. Project and tools for the Isabelle. This contains my blog.

CONTENT

This web page had the following on the web page, "I am Liam OConnor, a computer science researcher, student and teacher, currently working at UNSW." Our analyzers saw that the web page said " I specialise in programming languages and type systems, verification, compilers, formal methods, concurrency and parallel programming." The Website also said " As a member of the UNSW PLS Group. I work regularly in and on the Haskell. Programming language and the Agda. I have strong interest in the PLS projects DPH. I am the designer of the Cogent. Project and tools for the Isabelle."

VIEW SUBSEQUENT WEB PAGES

Liam OCallaghan Attract Inform Convert

Best Place to Live and Work. Client Success is not just for clients. The blindingly obvious is only understood by customers. Please wait a few minutes and refresh this page. Best Place to Live and Work.

Liam och Minna och Ville

Skisamling med HSK på Ål. Da sportellet på Nordseter har stengt driften måtte vi finne en ny plass å ha den årlige UFO skituren på. Valget falt på Ål i Hallingdal som viste seg å være vel så bra som Nordseter. En stor gjeng både rutinerte skiløpere og litt mere ferske fra Halden SK dro avgårde. Dette gjorde hun så bra at hun får ta over grillingen hjemme og. To fornøyde jenter med hver sin godt grillet hamburger.

Liam och vi

Nu ska jag vara riktigt JOBBIG! Tack för denna tid blogspot. Liam och lillebror myser i soffan denna grå söndag! Vad hittar ni på med? Lördag 17 september 2011. Ha en underbar lördag! Fredag 16 september 2011. Är det något som hade intresserat er, vänner? Gå in och kolla här.

Liam OConnell

A highly caffeinated life full of training hard, racing fast, and living slow. Wednesday, January 27, 2010. Tuesday, April 7, 2009. one etymologist says it comes from the spring- as in the source of a flowing river or brook. so as the snow melts the rivers begin to flow because of the spring or spring the season i guess. either way this mythical thing is occurring or springing right now. Thursday, April 2, 2009.