My active areas of research include the following, much of which can be characterized as Logic in Computer Science.

I'm hoping to use my results here to create a new method of static source code analysis, allowing developers to more quickly and easily reason about large code bases.

Other areas of research which are active, but not primary, include:


The limits of my language Logic mean the limits of my world.

-- Ludwig Wittgenstein (with a shameless modification of my own)

Current Research

As a graduate student, I've spent much of my time working in the areas of finite model theory & descriptive complexity, and more recently, evolving algebras and abstract state machines (ASMs)

I'll post more about my current endeavors shortly, as I'm currently busy finalizing my PhD!



More is forthcoming.

Studies in Logic Notes

After completing the Mathematical Logic course sequence in 2004, my good friend Neal Hogan and I spent the Summer reading about various foundational areas and put together the following set of notes.

Mathematical Logic & Model Theory

Zermelo Frankel Set Theory

Lambda Calculus

Various Topics

History of my Research Interests

Throughout my undergraduate degree in computer science, I was fascinated with the then-buzz-field of artificial intelligence, and focussed on courses in these areas. Specifically, I was most interested in “organic” approaches to AI, including approaches using neural networks, cellular automata, genetic algorithms, and various biomoriphic approaches. My undergraduate senior design project SapioGo won the 2005 Senior Deisgn Project of the Year award for Computer Science.

My interests changed dramatically in 2004 after taking a Mathematical Logic course sequence, and I became more interested in formal approaches and, ultimately, logic in general... who doesn't find the Löwenheim-Skolem theorm, Skolem's “paradox”, and Gödel's theorems utterly fascinating when they first hear them!?

After that, I began researching various areas of mathematical foundations and the foundations of computation. In 2006 I came upon the areas of Finite Model Theory and Descriptive Complexity. Since then my research has focussed on these areas, with application in formal methods.

using html5 | css3 | uikit
by ryan flannery