Ryan T. Flannery University of Cincinnati » College of Engineering » Department of Computer Science

About Me

I am a third year PhD Student in the Theory & Algorithms research group studying under Professor John Schlipf, funded by an Ohio Board of Regents (OBR) Fellowship.

If you are a student looking for the CS I (20-CS-121 Summer 2008) course website, click here.

News!

We now have an informal seminar group in Logic & Foundations of Mathematics, organized jointly with UC's departments of Computer Science, Mathematics, and Philosophy! For information about the new group, please go here: http://cs.uc.edu/~flannert/logic

Research Interests

For the past two years, I have been studying various fields of theoretical computer science, with a focus on logic and foundational mathematics. I am now working heavily in the areas of finite model theory and descriptive complexity, as well as various logic programming semantics.

During my undergrad and first year of graduate school, I spent considerable time studying various ``organic´´ approaches to artificial intelligence and machine learning (including neural networks, cellular automata, genetic/evolutionary/biomorphic approaches, and fuzzy systems).

Classes I Have Taught

• Computer Science I (20-CS-121), Summer 2007 & 2008. ~12 students each time.
  Taught the entire class, as well as the lab.
  • To view the most recent course website, click here.
  
  

Classes I Have TA'd For

Below is a list of all of the classes I have taught thus far, starting with the most recent.

• Computer Science I (20-CS-121), Winter 2008. ~50 students.
  Office Hours: Mondays and Thursdays, 2:00 - 3:30 (805B Rhodes Hall)
  Lab website: click here.
  
  
• Artificial Intelligence I (20-CS-633), Fall 2007. ~50 students.
  I was the TA and taught 3 days of the class.
  
  
• Computer Science II (20-CS-122), Spring 2007. ~50 students.
  I was not the TA, but I did teach two days of the course while the professor was out of town.
  My Notes:
  • Day 1: Queues. Download.
  • Day 2: More Queues. Download.
  • Day 2: How to read in a maze in C++. ReadMaze.cpp.

Papers/Presentations/Publications

• "Unfounded Sets and Autarkies," a presentation accepted to LaSh during FLoC 2006 (16 August 2006), by John Schlipf and Ryan Flannery. Download: PDF.

Curriculum Vitae

A copy of my vitae may be obtained from my website at http://www.ryanflannery.net/vitae/

Sitting on the edge (literally) of the Cliffs of Moher
(click for a larger image - 1.4MB)

Remember...

Computer Science is no more about computers than astronomy is about telescopes.

-- E. W. Dijkstra

Of course, one must also remember...

A witty saying proves nothing.

-- Voltaire

Still Curious?

For more information, including a list of personal works, notes, presentations, and a blog, please visit

http://www.ryanflannery.net

These images shamelessly copied from here.