Home Page for Alan Skelley

Since August 2007 I am at Google, where I am a Software Engineer in Ads Quality working on machine learning.

From November 2006 to August 2007 I was an NSERC postdoctoral fellow at the Computer Science department of the "La Sapienza" University in Rome, hosted by Nicola Galesi.

From September 2005 to October 2006 I was a visiting scholar in the Department of Mathematical Logic, Numerical Algebra and Graph Theory of the Mathematical Institute of the Academy of Sciences of the Czech Republic.

In September 2005 I completed my Ph.D. in the Computer Science department of the University of Toronto. My Ph.D. supervisor was Stephen A. Cook.
In 2000, I completed my M.Sc. under the supervision of Prof. Cook.

Here are my CV: [ps, pdf] and research statement:[ps, pdf]
A resume with a more industrial focus is here: [ps, pdf]

Contact Information

Alan Skelley
Google, Inc.
1600 Amphitheatre Parkway
Mountain View, CA 94043
Home: +1(650)949-2737
Mobile: +1(650)644-5579
Email: "alan" + lower-cased name of country whose capital city is Muscat + "@google.com"
Permanent Email: alanoman@gmail.com

My "permanent" address in Canada:

Alan Skelley
P.O. Box 105
Madeira Park, BC V0N 2H0


I am interested in many aspects of computational complexity and algorithms. My research concerns bounded arithmetic and propositional proof complexity.
Here are my research papers and writings:

This is version

$Id: index.html,v 1.26 2011-02-03 19:45:12 alan Exp $
of this document.