liamoc.net - Home 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 sixty-six weeks, eleven days, thirteen hours, and thirteen 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.

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 sixty-six weeks, eleven days, thirteen hours, and thirteen minutes old.

REGISTERED

October

2009

UPDATED

October

2013

EXPIRED

October

2014

WEBPAGE LENGTH OF LIFE

14

YEARS

8

MONTHS

11

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?

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.