Alex Roederer


As of May 2009, I have graduated from the University of Miami (with a Bachelor's Degree in Computer Science and Mathematics). I am now working on my PhD in the CIS department at the University of Pennsylvania. For my page at Penn, click here.

While under the University of Miami, I was under the advise of Geoff Sutcliffe, and was a member of the ARTists Research Group.

My current research interests lie primarily in the field of artificial intelligence. During 2008, I was working on the APRILS system, utilizing latent semantic analysis for automated theorem proving. Previous projects include the tptp2T Utility, a surprisingly useful tool for sifting through the tptp problem and solution libraries.

Email me for a copy of my current CV. In my rare bit of spare time, I enjoy reading, working on my novel, cooking, and studying various artistic and trivial pursuits (botany, history, natural languages, graphic design, drawing, etc).