Andrew Shilliday

Contact

• Email: shilla at rpi dot edu
• Mobile: 518.257.2285
• Office: Rensselaer A.I. and Reasoning Lab - Sage 1112 - 518.276.4849
• Address: RPI, Sage Labs 1112, 110 8th St, Troy, NY 12180.

About Me

I am a doctroal candidate currently in my fifth year in the Department of Computer Science at Rensselaer Polytechnic Institute. My research adviser is Selmer Bringsjord , and my thesis topic is semi-automated logico-mathematical scientific discovery and infintary model finding.

• Vitae
• Resume

Current Research and Projects

For the past three years, I have been a student researcher in the Rensselaer A.I. and Reasoning (RAIR) Lab. While researchers in the RAIR Lab oftentimes find themselves participating, to some degree, in all of the lab's various research projects, I am primarily focused on the Slate and PFL projects (see below).

• NIMD Novel Intelligence from Massive Data.
• Slate A System for Logic and Theorem Extraction.
• PFL Poised for Learning.

Past Projects

• Pegasus, a cross-platform interface for animating proofs constructed using Peirce's Existential Graph formalization.
• EGDP, an implementation of the Davis-Putnam procedure for Existential Graphs.
• Snibby, a side-scrolling adventure game developed in Marc Destefano's Game Development class.

My Schedule

• Fall 2006
  • CSCI 6962 Reasoning about Uncertainty TF 12:00pm - 1:50pm
  • CSCI 6966 Statistical and Learning Techniques MR 2:00pm - 3:30pm
• Spring 2006
  • CSCI 6940 Logic & Intell. Analysis. MR 12:00pm - 1:50pm
  • CSCI 6270 Computational Vision. TF 2:00pm - 3:30pm
• Fall 2005
  • CSCI 6100 - Machine Learning. TF 12:00pm - 1:50am
  • CSCI 6480 - Compiler Design Theory. MR 2:00pm - 3:20pm
  • CSCI 6965 - Applied Intell. Reason. Sys. T 6:00pm - 8:50pm
  • PHIL 4961 - AI for Cognitive Science. MR 10:00am - 11:50am
  • CSCI 6900 - Computer Science Colloquium. R 3:30pm - 4:50pm
  • CSCI 6968 - Computer Science Seminar. W 12:00p, - 12:50pm
• Spring 2005
  • CSCI 4020 Computer Algorithms. TF 12:00pm - 1:50pm
  • CSCI 6963 Cognitive Modeling. MR 10:00am - 11:50am
  • CSCI 6966 Logic & Artificial Intell. MR 12:00pm - 1:50pm
• Fall 2004
  • COGS 6963 Issues in Cognitive Science. W 12:00pm - 1:30pm
  • CSCI 4250 Computer Architectures. MR 10:00am - 11:50am
  • CSCI 6050 Computability & Complexity. TF 2:00pm - 3:50pm
  • CSCI 6140 Computer Operating Systems. TF 12:00pm - 1:20pm

Teaching

• Fall 2006, Graduate Teaching Assistnt
  • CSCI 4050/6050 - Computability and Complexity
• Fall 2005, Co-lecturer
  • PHIL 2140 - Introduction to Logic
• I have been an undergraduate TA for the following classes:
  • PHIL 4420 - Computability and Logic (Spring 2004)
  • PHIL 2140 - Introduction to Logic (Fall 2003)
  • PHIL 4963 - Intermediate Logic (Spring 2003)
  • CSCI 1100 - Computer Science 1 (Spring 2002)
  • PHIL 2140 - Introduction to Logic (Fall 2002)

Miscellaneous Resources

• An Athena Tutorial by Konstantine Arkoudas.
• Lispworks Common Lisp Hyperspec

Personal Information

• I was born in Pittsburgh, PA on September 16, 1981.
• I have lived in Cherry Hill (NJ), New York (NY), and, currently, Troy (NY).
• My wife, Nicole, and I have been married since May 20th, 2006.













---

Last updated March 14, 2008.
Copyright Andrew Shilliday, 2006-2008. All rights reserved.